| Title:
|
О некоторых классах арифметических действительных чисел (Russian) |
| Title:
|
On some classes of arithmetical real numbers (English) |
| Author:
|
Demuth, Osvald |
| Language:
|
Russian |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
23 |
| Issue:
|
3 |
| Year:
|
1982 |
| Pages:
|
453-465 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03F60 |
| MSC:
|
03F65 |
| idZBL:
|
Zbl 0519.03046 |
| idMR:
|
MR677854 |
| . |
| Date available:
|
2008-06-05T21:12:15Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106167 |
| . |
| Reference:
|
[1] PОДЖЕРС X.: Теория рекурсивных функций и эффективная вычислимость.Москва 1972. Zbl 0982.78512 |
| Reference:
|
[2] М. РТИН-ЛЕФ П.: Очерки по конструктивной математике.Москва 1975. Zbl 1170.01354 |
| Reference:
|
[3] ДЕМУТ О., КРЫЛ Р., КУЧЕРА А.: Об использовании теории функций частичнорекурсивных относительно числовых множеств в конструктивной математике.Асta Univ. Carolinae, Math. et Physica 19 (1978), 15-60. Zbl 1130.91322, MR 0509638 |
| Reference:
|
[4] ДЕМУТ О.: Об измеримости множеств по Лебегу в конструктивной математике.Соmment. Math. Univ. Carolinae 10 (1969), 463-492. Zbl 1149.62317, MR 0259055 |
| Reference:
|
[5] ДЕМУТ О.: О конструктивных псевдочислах.Соmment. Math. Univ. Carolinae16 (1975), 315-331. Zbl 1170.01354 |
| Reference:
|
[6] ДЕМУТ О.: О дифференцируемости конструктивных функций слабо ограниченной вариации на псевдочислах.Соmment. Math. Univ. Carolinae 16 (1975), 583-599. Zbl 1170.01354, MR 0476442 |
| Reference:
|
[7] ДЕМУТ О.: О конструктивном аналоге теоремы Данжуа-Янга о проивводных числах.Соmment. Math. Univ. Carolinae 17 (1976), 111-126. Zbl 1170.01332, MR 0403927 |
| Reference:
|
[8] ДЕМУТ О.: О конструктивном аналоге теоремы К. М. Гарга о производных числах.Соmment. Math. Univ. Carolinae 21 (1980), 457-472. Zbl 1170.01312, MR 0590126 |
| Reference:
|
[9] ЕРSTEIN R. L.: Degrees of Unsolvability: Structure and Theory.Lecture Notes in Math., Springer-Verlag, 1979. MR 0551620 |
| . |
