О Борелевых типах некоторых классов арифметических действительных чисел
Demuth, Osvald
Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982), p. 593-606 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1982-01-01
Classification:  03E15,  03F65,  04A15 
@article{106179,
     author = {Osvald Demuth},
     title = {O Borelevykh tipakh nekotorykh klassov arifmeticheskikh deistvitel'nykh chisel},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {023},
     year = {1982},
     pages = {593-606},
     zbl = {0525.03040},
     mrnumber = {677866},
     language = {ru},
     url = {http://dml.mathdoc.fr/item/106179}
}

Demuth, Osvald. О Борелевых типах некоторых классов арифметических действительных чисел. Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982) pp. 593-606. http://gdmltest.u-ga.fr/item/106179/

Gold Е. М. Limiting recursion, J. Symbolic Logic 30 (1965), 28-48. (1965) | MR 0239972 | Zbl 0203.01201

Александров П. С. Введение в общую теорию множеств и функций, Москва 1948. (1948) | Zbl 1154.94303

Демут O.; Крыл Р.; Кучера А. Об использовании теории функций частичнорекурсивных относительно числовых множеств в конструктивной математике, Acta Univ. Carolinae - Math. et Physica 19 (1978), 15-60. (1978) | MR 0509638 | Zbl 1130.91322

Демут О. О некоторых классах арифметических действительных чисел, Comment. Math. Univ. Carolinae 23 (1982), 453-465. (1982) | MR 0677854 | Zbl 1171.03330

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