A notion of semigenericity
Demuth, Osvald
Commentationes Mathematicae Universitatis Carolinae, Tome 028 (1987), p. 71-84 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1987-01-01
Classification:  03D25,  03D30 
@article{106510,
     author = {Osvald Demuth},
     title = {A notion of semigenericity},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {028},
     year = {1987},
     pages = {71-84},
     zbl = {0645.03040},
     mrnumber = {889769},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106510}
}

Demuth, Osvald. A notion of semigenericity. Commentationes Mathematicae Universitatis Carolinae, Tome 028 (1987) pp. 71-84. http://gdmltest.u-ga.fr/item/106510/

Jockusch C. G., Jr.; Soare R. I. $\Pi_1^0$ classes and degrees of theories, Trans. Amer. Math. Soc. 173 (1972), 33-56. (1972) | MR 0316227

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

Kurtz S. A. Notions of weak genericity, J. Symbolic Logic 48 (1983), 764-770. (1983) | MR 0716638 | Zbl 0549.03042

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

Miller W.; Martin D. A. The degrees of hyperimmune sets, Z. f. Math. Logik Grundlagen Math. 14 (1968), 159-166. (1968) | MR 0228341 | Zbl 0216.29102

Odifreddi P. Strong reducibilities, Bull. Amer. Math. Soc. 4 (1981), 37-86. (1981) | MR 0590818 | Zbl 0484.03024

Rogers H., Jr. Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967. (1967) | MR 0224462 | Zbl 0183.01401

Sacks G. E. Degrees of unsolvability, Annals of Mathematics Studies 55, Princeton University Press, Princeton, N. 3., 1963. (1963) | MR 0186554 | Zbl 0143.25302

Demuth O. O konstruktivných psevdočislach, Comment. Math. Univ. Carolinae 16 (1975), 315-331. (1975) | MR 0381955

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

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. (1980)

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

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