Geodesic
О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа
Commentationes Mathematicae Universitatis Carolinae, Tome 19 (1978) no. 1, pp. 97-105 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02E15, 02E99, 02F20, 02F40, 03F60 
@article{CMUC_1978_19_1_a9,
     author = {Ku\v{c}era, Anton{\'\i}n and Ku\v{s}ner, Boris A.},
     title = {{\CYRO} {\cyrt}{\cyri}{\cyrp}{\cyre} {\cyrr}{\cyre}{\cyrk}{\cyru}{\cyrr}{\cyrs}{\cyri}{\cyrv}{\cyrn}{\cyro}{\cyrg}{\cyro} {\cyri}{\cyrz}{\cyro}{\cyrm}{\cyro}{\cyrr}{\cyrf}{\cyri}{\cyrz}{\cyrm}{\cyra} {\cyrn}{\cyre}{\cyrk}{\cyro}{\cyrt}{\cyro}{\cyrr}{\cyrery}{\cyrh} {\cyrp}{\cyro}{\cyrn}{\cyrya}{\cyrt}{\cyri}{\cyrishrt} {\cyrk}{\cyro}{\cyrn}{\cyrs}{\cyrt}{\cyrr}{\cyru}{\cyrk}{\cyrt}{\cyri}{\cyrv}{\cyrn}{\cyro}{\cyrg}{\cyro} {\cyra}{\cyrn}{\cyra}{\cyrl}{\cyri}{\cyrz}{\cyra}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {97--105},
     year = {1978},
     volume = {19},
     number = {1},
     mrnumber = {0479972},
     zbl = {0398.03049},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1978_19_1_a9/}
}
TY  - JOUR
AU  - Kučera, Antonín
AU  - Kušner, Boris A.
TI  - О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1978
SP  - 97
EP  - 105
VL  - 19
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1978_19_1_a9/
LA  - ru
ID  - CMUC_1978_19_1_a9
ER  - 
%0 Journal Article
%A Kučera, Antonín
%A Kušner, Boris A.
%T О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа
%J Commentationes Mathematicae Universitatis Carolinae
%D 1978
%P 97-105
%V 19
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1978_19_1_a9/
%G ru
%F CMUC_1978_19_1_a9
Kučera, Antonín; Kušner, Boris A. О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа. Commentationes Mathematicae Universitatis Carolinae, Tome 19 (1978) no. 1, pp. 97-105. http://geodesic.mathdoc.fr/item/CMUC_1978_19_1_a9/

[1] МАРКОВ А. А.: О конструктивной математике. Трудм Мат. Инст. АН СССР им. B. А. Стеклова 67 (1962), 8-14. | MR | Zbl

[2] ШАНИН Н. А.: О конструктивном понимании математических суждений. Труды Мат. Инст. АН СССР им. В. А. Стеклова 52 (1958), 226-311. | MR | Zbl

[3] ШАНИН Н. А.: Конструктивные вещественные числа и конструктивные функциональные пространства. Труды Мат. Инст. АН СССР им. В. А. Стеклова 67 (1962), 15-294. | MR | Zbl

[4] КУШНЕР В. А.: Лекции по конструктивному математическому анализу. Наука, Москва 1973. | Zbl

[5] ROGERS Н.: Theory of recursive functions and effective computability. Mc Graw-Hill, New York 1967. | MR | Zbl

[6] DEMUTH O., KRYL R., KUČERA A.: Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике. Acta Univ. Carolinae, Math. et Physica 19 (1978).

[7] DEMUTH O.: О конструктивных псевдочислах. Comment. Math Univ. Carolinae 16 (1975), 315-331. | MR | Zbl