A type of recursive isomorphism of certain concepts of constructive analysis
Antonín Kučera; Boris A. Kušner
Commentationes Mathematicae Universitatis Carolinae (1978)
- Volume: 019, Issue: 1, page 97-105
- ISSN: 0010-2628
Access Full Article
top
How to cite
topKučera, Antonín, and Kušner, Boris A.. "О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа." Commentationes Mathematicae Universitatis Carolinae 019.1 (1978): 97-105. <http://eudml.org/doc/16885>.
@article{Kučera1978,
author = {Kučera, Antonín, Kušner, Boris A.},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {Constructive Analysis; Constructive Reals; Recursive Isomorphism; Constructive Real-Valued Functions},
language = {rus},
number = {1},
pages = {97-105},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа},
url = {http://eudml.org/doc/16885},
volume = {019},
year = {1978},
}
TY - JOUR
AU - Kučera, Antonín
AU - Kušner, Boris A.
TI - О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1978
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 019
IS - 1
SP - 97
EP - 105
LA - rus
KW - Constructive Analysis; Constructive Reals; Recursive Isomorphism; Constructive Real-Valued Functions
UR - http://eudml.org/doc/16885
ER -
References
top- МАРКОВ А. А., О конструктивной математике, Трудм Мат. Инст. АН СССР им. B. А. Стеклова 67 (1962), 8-14. (1962) Zbl1005.68507MR0153564
- ШАНИН Н. А., О конструктивном понимании математических суждений, Труды Мат. Инст. АН СССР им. В. А. Стеклова 52 (1958), 226-311. (1958) Zbl0995.62501MR0101189
- ШАНИН Н. А., Конструктивные вещественные числа и конструктивные функциональные пространства, Труды Мат. Инст. АН СССР им. В. А. Стеклова 67 (1962), 15-294. (1962) Zbl1005.68507MR0156786
- КУШНЕР В. А., Лекции по конструктивному математическому анализу, Наука, Москва 1973. (1973) Zbl1170.01397
- ROGERS Н., Theory of recursive functions and effective computability, Mc Graw-Hill, New York 1967. (1967) Zbl0183.01401MR0224462
- DEMUTH O., KRYL R., KUČERA A., Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике, Acta Univ. Carolinae, Math. et Physica 19 (1978). (1978)
- DEMUTH O., О конструктивных псевдочислах, Comment. Math Univ. Carolinae 16 (1975), 315-331. (1975) Zbl0325.02023MR0381955
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.