@article{CMUC_1982_23_3_a3,
author = {Demuth, Osvald},
title = {{\CYRO} {\cyrn}{\cyre}{\cyrk}{\cyro}{\cyrt}{\cyro}{\cyrr}{\cyrery}{\cyrh} {\cyrk}{\cyrl}{\cyra}{\cyrs}{\cyrs}{\cyra}{\cyrh} {\cyra}{\cyrr}{\cyri}{\cyrf}{\cyrm}{\cyre}{\cyrt}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyri}{\cyrh} {\cyrd}{\cyre}{\cyrishrt}{\cyrs}{\cyrt}{\cyrv}{\cyri}{\cyrt}{\cyre}{\cyrl}{\cyrsftsn}{\cyrn}{\cyrery}{\cyrh} {\cyrch}{\cyri}{\cyrs}{\cyre}{\cyrl}},
journal = {Commentationes Mathematicae Universitatis Carolinae},
pages = {453--465},
year = {1982},
volume = {23},
number = {3},
mrnumber = {677854},
zbl = {0519.03046},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/CMUC_1982_23_3_a3/}
}
Demuth, Osvald. О некоторых классах арифметических действительных чисел. Commentationes Mathematicae Universitatis Carolinae, Tome 23 (1982) no. 3, pp. 453-465. http://geodesic.mathdoc.fr/item/CMUC_1982_23_3_a3/
[1] PОДЖЕРС X.: Теория рекурсивных функций и эффективная вычислимость. Москва 1972. | Zbl
[2] М. РТИН-ЛЕФ П.: Очерки по конструктивной математике. Москва 1975. | Zbl
[3] ДЕМУТ О., КРЫЛ Р., КУЧЕРА А.: Об использовании теории функций частичнорекурсивных относительно числовых множеств в конструктивной математике. Асta Univ. Carolinae, Math. et Physica 19 (1978), 15-60. | MR | Zbl
[4] ДЕМУТ О.: Об измеримости множеств по Лебегу в конструктивной математике. Соmment. Math. Univ. Carolinae 10 (1969), 463-492. | MR | Zbl
[5] ДЕМУТ О.: О конструктивных псевдочислах. Соmment. Math. Univ. Carolinae16 (1975), 315-331. | Zbl
[6] ДЕМУТ О.: О дифференцируемости конструктивных функций слабо ограниченной вариации на псевдочислах. Соmment. Math. Univ. Carolinae 16 (1975), 583-599. | MR | Zbl
[7] ДЕМУТ О.: О конструктивном аналоге теоремы Данжуа-Янга о проивводных числах. Соmment. Math. Univ. Carolinae 17 (1976), 111-126. | MR | Zbl
[8] ДЕМУТ О.: О конструктивном аналоге теоремы К. М. Гарга о производных числах. Соmment. Math. Univ. Carolinae 21 (1980), 457-472. | MR | Zbl
[9] ЕРSTEIN R. L.: Degrees of Unsolvability: Structure and Theory. Lecture Notes in Math., Springer-Verlag, 1979. | MR