Previous |  Up |  Next

Article

References:
[1] GOLD Е. М.: Limiting recursion. J. Symbolic Logic 30 (1965), 28-48. MR 0239972 | Zbl 0203.01201
[2] АЛЕКСАНДРОВ П. С.: Введение в общую теорию множеств и функций. Москва 1948. Zbl 1154.94303
[3] ДЕМУТ O., КРЫЛ Р., КУЧЕРА А.: Об использовании теории функций частичнорекурсивных относительно числовых множеств в конструктивной математике. Acta Univ. Carolinae - Math. et Physica 19 (1978), 15-60. MR 0509638 | Zbl 1130.91322
[4] ДЕМУТ О.: О некоторых классах арифметических действительных чисел. Comment. Math. Univ. Carolinae 23 (1982), 453-465. MR 0677854 | Zbl 1171.03330
[5] ДЕМУТ O.: О конструктивных псевдочислах. Comment. Math. Univ. Carolinae 16 (1975), 315-331. MR 0381955 | Zbl 1170.01354
Partner of
EuDML logo