Geodesic
Remarks on 1-genericity, semigenericity and related concepts
Commentationes Mathematicae Universitatis Carolinae, Tome 28 (1987) no. 1, pp. 85-94 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03D25, 03D30 
@article{CMUC_1987_28_1_a8,
     author = {Demuth, Osvald and Ku\v{c}era, Anton{\'\i}n},
     title = {Remarks on 1-genericity, semigenericity and related concepts},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {85--94},
     year = {1987},
     volume = {28},
     number = {1},
     mrnumber = {889770},
     zbl = {0655.03029},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a8/}
}
TY  - JOUR
AU  - Demuth, Osvald
AU  - Kučera, Antonín
TI  - Remarks on 1-genericity, semigenericity and related concepts
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1987
SP  - 85
EP  - 94
VL  - 28
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a8/
LA  - en
ID  - CMUC_1987_28_1_a8
ER  - 
%0 Journal Article
%A Demuth, Osvald
%A Kučera, Antonín
%T Remarks on 1-genericity, semigenericity and related concepts
%J Commentationes Mathematicae Universitatis Carolinae
%D 1987
%P 85-94
%V 28
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a8/
%G en
%F CMUC_1987_28_1_a8
Demuth, Osvald; Kučera, Antonín. Remarks on 1-genericity, semigenericity and related concepts. Commentationes Mathematicae Universitatis Carolinae, Tome 28 (1987) no. 1, pp. 85-94. http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a8/

[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

[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

[3] DEMUTH O.: On constructive pseudonumbers. Comment. Math. Univ. Carolinae 16 (1975), 315-331 (Russian). | MR

[4] DEMUTH O.: A notion of semigenericity. Comment. Math. Univ. Carolinae 28 (1987), 71-84. | MR | Zbl

[5] JOCKUSCH C. G., Jr., SOARE R. I.: Degrees of members of $\Pi_1^0$ classes. Pacific J. Math. 40 (1972), 605-616. | MR

[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

[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

[8] MARTIN, LÖF P.: Notes on Constructive Mathematics. Almquist & Wiksell, Stockholm, 1970. | MR

[9] MOSCHOVAKIS Y. N.: Recursive Metric Spaces. Fund. Math. LV (1964), 215-238. | MR | Zbl