| Title:
|
Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний (Russian) |
| Title:
|
The algorithmic nonapproximability of the least upper bounds of constructive pseudosections (English) |
| Title:
|
Über die algorithmische Nichtapproximierbarkeit genauer oberer Schranken konstruktiver Pseudoschnitte (German) |
| Author:
|
Kučera, Antonín |
| Language:
|
Russian |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
18 |
| Issue:
|
3 |
| Year:
|
1977 |
| Pages:
|
445-453 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02E99 |
| MSC:
|
02F25 |
| MSC:
|
03D25 |
| MSC:
|
03F99 |
| idZBL:
|
Zbl 0367.02015 |
| idMR:
|
MR0469727 |
| . |
| Date available:
|
2008-06-05T20:55:21Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105790 |
| . |
| Reference:
|
[1] МАРКОВ А. А.: Теория алгорифмов.Труды Мат. Инст. им. В. А. Стеклова XLII, (1954). Zbl 0995.90535 |
| Reference:
|
[2] ШАНИН Н. А.: Конструктивные вещественные числа и конструктивные функциональные пространства.Труды Мат. Инст. им. В. А. Стеклова LXVII (1962), 15-294. Zbl 1005.68507 |
| Reference:
|
[3] РОДЖЕРС X.: Теория рекурсивных функций и эффективная вычислимость.Москва 1972. Zbl 1170.01322 |
| Reference:
|
[4] ШАНИН Н. А.: O конструктивном понимании математических суждений.Труды Мат. Инст. им. В. А. Стеклова LII (1958), 226-311. Zbl 0101.04502 |
| Reference:
|
[5] ЦЕЙТИН Г. С: O верхних границах перечислимых множеств конструктивных вещественных чисел.Груды Мат. Инст. им. В. А. Стеклова CXIII (1970), 102-172. Zbl 1098.81563 |
| Reference:
|
[6] КАНОВИЧ М. И.: Сложность ограниченного разрешения алгорифмов, Исследования по теории алгорифмов и математической логике.ВЦ АН СССР Москва 1973, 3-41. Zbl 1170.01397 |
| Reference:
|
[7] КАНОВИЧ М. И.: Об универсальности сильно неразрешимых множеств.Доклады АН СССР 204 (1972), 533-535. Zbl 1170.01322, MR 0304144 |
| Reference:
|
[8] КАНОВИЧ М. И.: Сложность предела шпекеровых последовательностей.Доклады АН СССР 214 (1974), 1020-1023. Zbl 1170.01350, MR 0340008 |
| . |
