| Title:
|
Remarks on 1-genericity, semigenericity and related concepts (English) |
| Author:
|
Demuth, Osvald |
| Author:
|
Kučera, Antonín |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
28 |
| Issue:
|
1 |
| Year:
|
1987 |
| Pages:
|
85-94 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D25 |
| MSC:
|
03D30 |
| idZBL:
|
Zbl 0655.03029 |
| idMR:
|
MR889770 |
| . |
| Date available:
|
2008-06-05T21:27:38Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106511 |
| . |
| Reference:
|
[1] CEĬTIN G. S.: Algorithmic operators in constructive metric spaces.Trudy Mat. Inst. Steklov 67 (1962), 295-361; English transl., Amer. Math. Soc. Transl. (2) 64 (1967), 1-80. MR 0152426 |
| Reference:
|
[2] CEĬTIN G. S.: On upper bounds of recursively enumerable sets of constructive real numbers.Trudy Mat. Inst. Steklov, 113 (1970), 102-172 = Proc. Steklov Inst. Math. 113 (1970), 119-194. MR 0321710 |
| Reference:
|
[3] DEMUTH O.: On constructive pseudonumbers.Comment. Math. Univ. Carolinae 16 (1975), 315-331 (Russian). MR 0381955 |
| Reference:
|
[4] DEMUTH O.: A notion of semigenericity.Comment. Math. Univ. Carolinae 28 (1987), 71-84. Zbl 0645.03040, MR 0889769 |
| Reference:
|
[5] JOCKUSCH C. G., Jr., SOARE R. I.: Degrees of members of $\Pi_1^0$ classes.Pacific J. Math. 40 (1972), 605-616. MR 0309722 |
| Reference:
|
[6] KUČERA A.: Measure, $\Pi_1^0$-classes and complete extensions of PA.Lecture Notes in Math., vol. 1141, Springer-Verlag, Berlin, 1985, 245-259. MR 0820784 |
| Reference:
|
[7] KUŠNER B. A.: Ort coverings of separable sets.Issled. po těorii algorifmov i mat. logike, Vyč. centr AN SSSR, Moskva, 1973, 235-246. MR 0337534 |
| Reference:
|
[8] MARTIN, LÖF P.: Notes on Constructive Mathematics.Almquist & Wiksell, Stockholm, 1970. MR 0485251 |
| Reference:
|
[9] MOSCHOVAKIS Y. N.: Recursive Metric Spaces.Fund. Math. LV (1964), 215-238. Zbl 0221.02015, MR 0182562 |
| . |
