Geodesic
Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний
Commentationes Mathematicae Universitatis Carolinae, Tome 18 (1977) no. 3, pp. 445-453

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR   Zbl

Classification : 02E99, 02F25, 03D25, 03F99 
Kučera, Antonín. Об aлгopифмичecкoй неапроксимируемости  точных верхних гpaниц конструктивных пceвдоceчeний. Commentationes Mathematicae Universitatis Carolinae, Tome 18 (1977) no. 3, pp. 445-453. http://geodesic.mathdoc.fr/item/CMUC_1977_18_3_a3/
@article{CMUC_1977_18_3_a3,
     author = {Ku\v{c}era, Anton{\'\i}n},
     title = {{\CYRO}{\cyrb} a{\cyrl}{\cyrg}op{\cyri}{\cyrf}{\cyrm}{\cyri}{\cyrch}ec{\cyrk}o{\cyrishrt} {\cyrn}{\cyre}{\cyra}{\cyrp}{\cyrr}{\cyro}{\cyrk}{\cyrs}{\cyri}{\cyrm}{\cyri}{\cyrr}{\cyru}{\cyre}{\cyrm}{\cyro}{\cyrs}{\cyrt}{\cyri}  {\cyrt}{\cyro}{\cyrch}{\cyrn}{\cyrery}{\cyrh} {\cyrv}{\cyre}{\cyrr}{\cyrh}{\cyrn}{\cyri}{\cyrh} {\cyrg}pa{\cyrn}{\cyri}{\cyrc} {\cyrk}{\cyro}{\cyrn}{\cyrs}{\cyrt}{\cyrr}{\cyru}{\cyrk}{\cyrt}{\cyri}{\cyrv}{\cyrn}{\cyrery}{\cyrh} {\cyrp}ce{\cyrv}{\cyrd}{\cyro}ce{\cyrch}e{\cyrn}{\cyri}{\cyrishrt}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {445--453},
     year = {1977},
     volume = {18},
     number = {3},
     mrnumber = {0469727},
     zbl = {0367.02015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1977_18_3_a3/}
}
TY  - JOUR
AU  - Kučera, Antonín
TI  - Об aлгopифмичecкoй неапроксимируемости  точных верхних гpaниц конструктивных пceвдоceчeний
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1977
SP  - 445
EP  - 453
VL  - 18
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/CMUC_1977_18_3_a3/
LA  - ru
ID  - CMUC_1977_18_3_a3
ER  - 
%0 Journal Article
%A Kučera, Antonín
%T Об aлгopифмичecкoй неапроксимируемости  точных верхних гpaниц конструктивных пceвдоceчeний
%J Commentationes Mathematicae Universitatis Carolinae
%D 1977
%P 445-453
%V 18
%N 3
%U http://geodesic.mathdoc.fr/item/CMUC_1977_18_3_a3/
%G ru
%F CMUC_1977_18_3_a3

[1] МАРКОВ А. А.: Теория алгорифмов. Труды Мат. Инст. им. В. А. Стеклова XLII, (1954). | Zbl

[2] ШАНИН Н. А.: Конструктивные вещественные числа и конструктивные функциональные пространства. Труды Мат. Инст. им. В. А. Стеклова LXVII (1962), 15-294. | Zbl

[3] РОДЖЕРС X.: Теория рекурсивных функций и эффективная вычислимость. Москва 1972. | Zbl

[4] ШАНИН Н. А.: O конструктивном понимании математических суждений. Труды Мат. Инст. им. В. А. Стеклова LII (1958), 226-311. | Zbl

[5] ЦЕЙТИН Г. С: O верхних границах перечислимых множеств конструктивных вещественных чисел. Груды Мат. Инст. им. В. А. Стеклова CXIII (1970), 102-172. | Zbl

[6] КАНОВИЧ М. И.: Сложность ограниченного разрешения алгорифмов, Исследования по теории алгорифмов и математической логике. ВЦ АН СССР Москва 1973, 3-41. | Zbl

[7] КАНОВИЧ М. И.: Об универсальности сильно неразрешимых множеств. Доклады АН СССР 204 (1972), 533-535. | MR | Zbl

[8] КАНОВИЧ М. И.: Сложность предела шпекеровых последовательностей. Доклады АН СССР 214 (1974), 1020-1023. | MR | Zbl