About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Demuth, Osvald
Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной. (Russian) [The domains of definition of effective operators over general recursive functions and of constructive functions of a real variable]. Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 4, pp. 633-646
MSC: 02E15, 02E99, 02F29, 02F35, 02F99, 03D55, 03D99, 03F99, 54C30 | MR 0434791 | Zbl 0345.02025
References:
[1] МАРКОВ А. А.: Теория алгорифмов. Труды Мат. Инст. им. В. А. Стеклова ХLII (1954). Zbl 0995.90535
[2] ШАНИН Н. А.: Конструктивные вещественные числа и конструктивные функциональные пространства. Труды Мат. инст. им. В. А. Стеклова XLII (1962), 15-894. Zbl 1005.68507
[3] РОДЖЕРС X.: Теория рекурсивных функций и эффективная вычислимость. Москва 1972. Zbl 1170.01322
[4] ШАНИН Н. А.: O конструктивном понимании математических суждений. Труды Мат. Инст. им. В. А. Стеклова LII (1958), 226-311. Zbl 0101.04502
[5] MOSCHOVAKIS Y. N.: Recursive metric spaces. Fundamenta Math. LV (1964), 215-238. MR 0182562 | Zbl 0221.02015
[6] ЦЕЙТИН Г. С: Три теоремы о конструктивных функциях. Труды Мат. инст. им. В. А. Стеклова LХХII (1964), 537-543. Zbl 1117.65300
[7] ДЕТЛОВС В. К.: Эквивалентность нормальных алгорифмов и рекурсивных функций. Труды Мат. Инст. им. В. А. Стеклова LII (1958), 75-139. Zbl 0995.62501
Partner of
EuDML logo