@article{CMUC_1976_17_4_a1,
author = {Demuth, Osvald},
title = {{\CYRO}{\cyrb} {\cyro}{\cyrb}{\cyrl}{\cyra}{\cyrs}{\cyrt}{\cyrya}{\cyrh} {\cyro}{\cyrp}{\cyrr}{\cyre}{\cyrd}{\cyre}{\cyrl}{\cyre}{\cyrn}{\cyri}{\cyrya} {\cyrerev}{\cyrf}{\cyrf}{\cyre}{\cyrk}{\cyrt}{\cyri}{\cyrv}{\cyrn}{\cyrery}{\cyrh} {\cyro}{\cyrp}{\cyre}{\cyrr}{\cyra}{\cyrt}{\cyro}{\cyrr}{\cyro}{\cyrv} {\cyrn}{\cyra}{\cyrd} {\cyro}{\cyrb}{\cyrshch}{\cyre}{\cyrr}{\cyre}{\cyrk}{\cyru}{\cyrr}{\cyrs}{\cyri}{\cyrn}{\cyrn}{\cyrery}{\cyrm}{\cyri} {\cyrf}{\cyru}{\cyrn}{\cyrk}{\cyrc}{\cyri}{\cyrya}{\cyrm}{\cyri} {\cyri} {\cyrk}{\cyro}{\cyrn}{\cyrs}{\cyrt}{\cyrr}{\cyru}{\cyrk}{\cyrt}{\cyri}{\cyrv}{\cyrn}{\cyrery}{\cyrh} {\cyrf}{\cyru}{\cyrn}{\cyrk}{\cyrc}{\cyri}{\cyrishrt} {\cyrd}{\cyre}{\cyrishrt}{\cyrs}{\cyrt}{\cyrv}{\cyri}{\cyrt}{\cyre}{\cyrl}{\cyrsftsn}{\cyrn}{\cyro}{\cyrishrt} {\cyrp}{\cyre}{\cyrr}{\cyre}{\cyrm}{\cyre}{\cyrn}{\cyrn}{\cyro}{\cyrishrt}},
journal = {Commentationes Mathematicae Universitatis Carolinae},
pages = {633--646},
year = {1976},
volume = {17},
number = {4},
mrnumber = {0434791},
zbl = {0345.02025},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/CMUC_1976_17_4_a1/}
}
TY - JOUR AU - Demuth, Osvald TI - Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной JO - Commentationes Mathematicae Universitatis Carolinae PY - 1976 SP - 633 EP - 646 VL - 17 IS - 4 UR - http://geodesic.mathdoc.fr/item/CMUC_1976_17_4_a1/ LA - ru ID - CMUC_1976_17_4_a1 ER -
%0 Journal Article %A Demuth, Osvald %T Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной %J Commentationes Mathematicae Universitatis Carolinae %D 1976 %P 633-646 %V 17 %N 4 %U http://geodesic.mathdoc.fr/item/CMUC_1976_17_4_a1/ %G ru %F CMUC_1976_17_4_a1
Demuth, Osvald. Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной. Commentationes Mathematicae Universitatis Carolinae, Tome 17 (1976) no. 4, pp. 633-646. http://geodesic.mathdoc.fr/item/CMUC_1976_17_4_a1/
[1] МАРКОВ А. А.: Теория алгорифмов. Труды Мат. Инст. им. В. А. Стеклова ХLII (1954). | Zbl
[2] ШАНИН Н. А.: Конструктивные вещественные числа и конструктивные функциональные пространства. Труды Мат. инст. им. В. А. Стеклова XLII (1962), 15-894. | Zbl
[3] РОДЖЕРС X.: Теория рекурсивных функций и эффективная вычислимость. Москва 1972. | Zbl
[4] ШАНИН Н. А.: O конструктивном понимании математических суждений. Труды Мат. Инст. им. В. А. Стеклова LII (1958), 226-311. | Zbl
[5] MOSCHOVAKIS Y. N.: Recursive metric spaces. Fundamenta Math. LV (1964), 215-238. | MR | Zbl
[6] ЦЕЙТИН Г. С: Три теоремы о конструктивных функциях. Труды Мат. инст. им. В. А. Стеклова LХХII (1964), 537-543. | Zbl
[7] ДЕТЛОВС В. К.: Эквивалентность нормальных алгорифмов и рекурсивных функций. Труды Мат. Инст. им. В. А. Стеклова LII (1958), 75-139. | Zbl