| Title:
|
О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа (Russian) |
| Title:
|
A type of recursive isomorphism of certain concepts of constructive analysis (English) |
| Title:
|
Über den Typ eines rekursiven Isomorphismus gewisser Begriffe der konstruktiven Analysis (German) |
| Author:
|
Kučera, Antonín |
| Author:
|
Kušner, Boris A. |
| Language:
|
Russian |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
19 |
| Issue:
|
1 |
| Year:
|
1978 |
| Pages:
|
97-105 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02E15 |
| MSC:
|
02E99 |
| MSC:
|
02F20 |
| MSC:
|
02F40 |
| MSC:
|
03F60 |
| idZBL:
|
Zbl 0398.03049 |
| idMR:
|
MR0479972 |
| . |
| Date available:
|
2008-06-05T20:57:24Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105836 |
| . |
| Reference:
|
[1] МАРКОВ А. А.: О конструктивной математике.Трудм Мат. Инст. АН СССР им. B. А. Стеклова 67 (1962), 8-14. Zbl 1005.68507, MR 0153564 |
| Reference:
|
[2] ШАНИН Н. А.: О конструктивном понимании математических суждений.Труды Мат. Инст. АН СССР им. В. А. Стеклова 52 (1958), 226-311. Zbl 0995.62501, MR 0101189 |
| Reference:
|
[3] ШАНИН Н. А.: Конструктивные вещественные числа и конструктивные функциональные пространства.Труды Мат. Инст. АН СССР им. В. А. Стеклова 67 (1962), 15-294. Zbl 1005.68507, MR 0156786 |
| Reference:
|
[4] КУШНЕР В. А.: Лекции по конструктивному математическому анализу.Наука, Москва 1973. Zbl 1170.01397 |
| Reference:
|
[5] ROGERS Н.: Theory of recursive functions and effective computability.Mc Graw-Hill, New York 1967. Zbl 0183.01401, MR 0224462 |
| Reference:
|
[6] DEMUTH O., KRYL R., KUČERA A.: Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике.Acta Univ. Carolinae, Math. et Physica 19 (1978). |
| Reference:
|
[7] DEMUTH O.: О конструктивных псевдочислах.Comment. Math Univ. Carolinae 16 (1975), 315-331. Zbl 0325.02023, MR 0381955 |
| . |
