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

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

Pоджерс X. Теория рекурсивных функций и эффективная вычислимость, Москва 1972. (1972) | Zbl 0982.78512

М. Ртин-Леф П. Очерки по конструктивной математике, Москва 1975. (1975) | Zbl 1170.01354

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

Демут О. Об измеримости множеств по Лебегу в конструктивной математике, Соmment. Math. Univ. Carolinae 10 (1969), 463-492. (1969) | MR 0259055 | Zbl 1149.62317

Демут О. О конструктивных псевдочислах, Соmment. Math. Univ. Carolinae16 (1975), 315-331. (1975) | Zbl 1170.01354

Демут О. О дифференцируемости конструктивных функций слабо ограниченной вариации на псевдочислах, Соmment. Math. Univ. Carolinae 16 (1975), 583-599. (1975) | MR 0476442 | Zbl 1170.01354

Демут О. О конструктивном аналоге теоремы Данжуа-Янга о проивводных числах, Соmment. Math. Univ. Carolinae 17 (1976), 111-126. (1976) | MR 0403927 | Zbl 1170.01332

Демут О. О конструктивном аналоге теоремы К. М. Гарга о производных числах, Соmment. Math. Univ. Carolinae 21 (1980), 457-472. (1980) | MR 0590126 | Zbl 1170.01312

Ерstein R. L. Degrees of Unsolvability: Structure and Theory, Lecture Notes in Math., Springer-Verlag, 1979. (1979) | MR 0551620