Remarks on 1-genericity, semigenericity and related concepts
Demuth, Osvald ; Kučera, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 028 (1987), p. 85-94 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1987-01-01
Classification:  03D25,  03D30 
@article{106511,
     author = {Osvald Demuth and Anton\'\i n Ku\v cera},
     title = {Remarks on 1-genericity, semigenericity and related concepts},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {028},
     year = {1987},
     pages = {85-94},
     zbl = {0655.03029},
     mrnumber = {889770},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106511}
}

Demuth, Osvald; Kučera, Antonín. Remarks on 1-genericity, semigenericity and related concepts. Commentationes Mathematicae Universitatis Carolinae, Tome 028 (1987) pp. 85-94. http://gdmltest.u-ga.fr/item/106511/

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. (1962) | MR 0152426

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. (1970) | MR 0321710

Demuth O. On constructive pseudonumbers, Comment. Math. Univ. Carolinae 16 (1975), 315-331 (Russian). (1975) | MR 0381955

Demuth O. A notion of semigenericity, Comment. Math. Univ. Carolinae 28 (1987), 71-84. (1987) | MR 0889769 | Zbl 0645.03040

Jockusch C. G., Jr.; Soare R. I. Degrees of members of $\Pi_1^0$ classes, Pacific J. Math. 40 (1972), 605-616. (1972) | MR 0309722

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. (1985) | MR 0820784

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. (1973) | MR 0337534

Martin; Löf P. Notes on Constructive Mathematics, Almquist & Wiksell, Stockholm, 1970. (1970) | MR 0485251

Moschovakis Y. N. Recursive Metric Spaces, Fund. Math. LV (1964), 215-238. (1964) | MR 0182562 | Zbl 0221.02015