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

Article

First Page Preview
Kučera, Antonín ; Kušner, Boris A.
О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа. (Russian) [A type of recursive isomorphism of certain concepts of constructive analysis]. Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 1, pp. 97-105
MSC: 02E15, 02E99, 02F20, 02F40, 03F60 | MR 0479972 | Zbl 0398.03049
References:
[1] МАРКОВ А. А.: О конструктивной математике. Трудм Мат. Инст. АН СССР им. B. А. Стеклова 67 (1962), 8-14. MR 0153564 | Zbl 1005.68507
[2] ШАНИН Н. А.: О конструктивном понимании математических суждений. Труды Мат. Инст. АН СССР им. В. А. Стеклова 52 (1958), 226-311. MR 0101189 | Zbl 0995.62501
[3] ШАНИН Н. А.: Конструктивные вещественные числа и конструктивные функциональные пространства. Труды Мат. Инст. АН СССР им. В. А. Стеклова 67 (1962), 15-294. MR 0156786 | Zbl 1005.68507
[4] КУШНЕР В. А.: Лекции по конструктивному математическому анализу. Наука, Москва 1973. Zbl 1170.01397
[5] ROGERS Н.: Theory of recursive functions and effective computability. Mc Graw-Hill, New York 1967. MR 0224462 | Zbl 0183.01401
[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 0381955 | Zbl 0325.02023
Partner of
EuDML logo