| Title:
|
О Борелевых типах некоторых классов арифметических действительных чисел (Russian) |
| Title:
|
Borel types of 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:
|
593-606 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03E15 |
| MSC:
|
03F65 |
| MSC:
|
04A15 |
| idZBL:
|
Zbl 0525.03040 |
| idMR:
|
MR677866 |
| . |
| Date available:
|
2008-06-05T21:12:49Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106179 |
| . |
| Reference:
|
[1] GOLD Е. М.: Limiting recursion.J. Symbolic Logic 30 (1965), 28-48. Zbl 0203.01201, MR 0239972 |
| Reference:
|
[2] АЛЕКСАНДРОВ П. С.: Введение в общую теорию множеств и функций.Москва 1948. Zbl 1154.94303 |
| Reference:
|
[3] ДЕМУТ O., КРЫЛ Р., КУЧЕРА А.: Об использовании теории функций частичнорекурсивных относительно числовых множеств в конструктивной математике.Acta Univ. Carolinae - Math. et Physica 19 (1978), 15-60. Zbl 1130.91322, MR 0509638 |
| Reference:
|
[4] ДЕМУТ О.: О некоторых классах арифметических действительных чисел.Comment. Math. Univ. Carolinae 23 (1982), 453-465. Zbl 1171.03330, MR 0677854 |
| Reference:
|
[5] ДЕМУТ O.: О конструктивных псевдочислах.Comment. Math. Univ. Carolinae 16 (1975), 315-331. Zbl 1170.01354, MR 0381955 |
| . |
