О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа
Kučera, Antonín ; Kušner, Boris A.
Commentationes Mathematicae Universitatis Carolinae, Tome 019 (1978), p. 97-105 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1978-01-01
Classification:  02E15,  02E99,  02F20,  02F40,  03F60 
@article{105836,
     author = {Anton\'\i n Ku\v cera and Boris A. Ku\v sner},
     title = {O tipe rekursivnogo izomorfizma nekotorykh poniatii konstruktivnogo analiza},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {019},
     year = {1978},
     pages = {97-105},
     zbl = {0398.03049},
     mrnumber = {0479972},
     language = {ru},
     url = {http://dml.mathdoc.fr/item/105836}
}

Kučera, Antonín; Kušner, Boris A. О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа. Commentationes Mathematicae Universitatis Carolinae, Tome 019 (1978) pp. 97-105. http://gdmltest.u-ga.fr/item/105836/

Марков А. А. О конструктивной математике, Трудм Мат. Инст. АН СССР им. B. А. Стеклова 67 (1962), 8-14. (1962) | MR 0153564 | Zbl 1005.68507

Шанин Н. А. О конструктивном понимании математических суждений, Труды Мат. Инст. АН СССР им. В. А. Стеклова 52 (1958), 226-311. (1958) | MR 0101189 | Zbl 0995.62501

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

Кушнер В. А. Лекции по конструктивному математическому анализу, Наука, Москва 1973. (1973) | Zbl 1170.01397

Rogers Н. Theory of recursive functions and effective computability, Mc Graw-Hill, New York 1967. (1967) | MR 0224462 | Zbl 0183.01401

Demuth O.; Kryl R.; Kučera A. Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике, Acta Univ. Carolinae, Math. et Physica 19 (1978). (1978)

Demuth O. О конструктивных псевдочислах, Comment. Math Univ. Carolinae 16 (1975), 315-331. (1975) | MR 0381955 | Zbl 0325.02023