Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной
Demuth, Osvald
Commentationes Mathematicae Universitatis Carolinae, Tome 017 (1976), p. 633-646 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1976-01-01
Classification:  02E15,  02E99,  02F29,  02F35,  02F99,  03D55,  03D99,  03F99,  54C30 
@article{105724,
     author = {Osvald Demuth},
     title = {Ob oblastiakh opredeleniia effektivnykh operatorov nad obshcherekursinnymi funktsiiami i konstruktivnykh funktsii deistvitel'noi peremennoi},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {017},
     year = {1976},
     pages = {633-646},
     zbl = {0345.02025},
     mrnumber = {0434791},
     language = {ru},
     url = {http://dml.mathdoc.fr/item/105724}
}

Demuth, Osvald. Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной. Commentationes Mathematicae Universitatis Carolinae, Tome 017 (1976) pp. 633-646. http://gdmltest.u-ga.fr/item/105724/

Марков А. А. Теория алгорифмов, Труды Мат. Инст. им. В. А. Стеклова ХLII (1954). (1954) | Zbl 0995.90535

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

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

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

Moschovakis Y. N. Recursive metric spaces, Fundamenta Math. LV (1964), 215-238. (1964) | MR 0182562 | Zbl 0221.02015

Цейтин Г. С Три теоремы о конструктивных функциях, Труды Мат. инст. им. В. А. Стеклова LХХII (1964), 537-543. (1964) | Zbl 1117.65300

Детловс В. К. Эквивалентность нормальных алгорифмов и рекурсивных функций, Труды Мат. Инст. им. В. А. Стеклова LII (1958), 75-139. (1958) | Zbl 0995.62501