Geodesic
A notion of semigenericity
Commentationes Mathematicae Universitatis Carolinae, Tome 28 (1987) no. 1, pp. 71-84 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_a7,
     author = {Demuth, Osvald},
     title = {A notion of semigenericity},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {71--84},
     year = {1987},
     volume = {28},
     number = {1},
     mrnumber = {889769},
     zbl = {0645.03040},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a7/}
}
TY  - JOUR
AU  - Demuth, Osvald
TI  - A notion of semigenericity
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1987
SP  - 71
EP  - 84
VL  - 28
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a7/
LA  - en
ID  - CMUC_1987_28_1_a7
ER  - 
%0 Journal Article
%A Demuth, Osvald
%T A notion of semigenericity
%J Commentationes Mathematicae Universitatis Carolinae
%D 1987
%P 71-84
%V 28
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a7/
%G en
%F CMUC_1987_28_1_a7
Demuth, Osvald. A notion of semigenericity. Commentationes Mathematicae Universitatis Carolinae, Tome 28 (1987) no. 1, pp. 71-84. http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a7/

[1] JOCKUSCH C. G., Jr., SOARE R. I.: $\Pi_1^0$ classes and degrees of theories. Trans. Amer. Math. Soc. 173 (1972), 33-56. | MR

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

[3] 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

[4] KURTZ S. A.: Notions of weak genericity. J. Symbolic Logic 48 (1983), 764-770. | MR | Zbl

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

[6] MILLER W., MARTIN D. A.: The degrees of hyperimmune sets. Z. f. Math. Logik Grundlagen Math. 14 (1968), 159-166. | MR | Zbl

[7] ODIFREDDI P.: Strong reducibilities. Bull. Amer. Math. Soc. 4 (1981), 37-86. | MR | Zbl

[8] ROGERS H., Jr.: Theory of recursive functions and effective computability. McGraw-Hill, New York, 1967. | MR | Zbl

[9] SACKS G. E.: Degrees of unsolvability. Annals of Mathematics Studies 55, Princeton University Press, Princeton, N. 3., 1963. | MR | Zbl

[10] DEMUTH O.: O konstruktivných psevdočislach. Comment. Math. Univ. Carolinae 16 (1975), 315-331. | MR

[11] DEMUTH O.: Oněkotorych klassach arifmetičeskich dějstvitěl'nych čišel. Comment. Math. Univ. Carolinae 23 (1982), 453-465.

[12] JOCKUSCH C. G., Jr., SIMPSON S. G.: Minimal degrees, hyperimmune degrees, and complete extensions of arithmetic. Preliminary report 781-810, Abstracts of Amer. Math. Society, 1980, vol. 1, number 6, p. 546.

[13] CEĬTIN G. S.: On upper bounds of recursively enumerable sets of constructive real numbers. Proc. Steklov Inst. Math. 113 (1970), 119-194, published by Amer. Math. Soc., Providence, 1972. | MR

[14] KUŠNER B. A.: Coverings of separable sets. in: Issledovanija po teorii algorifmov i mat. logike, vol. 1, Vyč. Centr AN SSSR, 1974, 235-246 (Russian). | MR