| Title:
|
A notion of semigenericity (English) |
| Author:
|
Demuth, Osvald |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
28 |
| Issue:
|
1 |
| Year:
|
1987 |
| Pages:
|
71-84 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D25 |
| MSC:
|
03D30 |
| idZBL:
|
Zbl 0645.03040 |
| idMR:
|
MR889769 |
| . |
| Date available:
|
2008-06-05T21:27:35Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106510 |
| . |
| Reference:
|
[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 0316227 |
| Reference:
|
[2] 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:
|
[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 0820784 |
| Reference:
|
[4] KURTZ S. A.: Notions of weak genericity.J. Symbolic Logic 48 (1983), 764-770. Zbl 0549.03042, MR 0716638 |
| Reference:
|
[5] MARTIN-LÖF P.: Notes on Constructive Mathematics.Almquist & Wiksell, Stockholm, 1970. MR 0485251 |
| Reference:
|
[6] MILLER W., MARTIN D. A.: The degrees of hyperimmune sets.Z. f. Math. Logik Grundlagen Math. 14 (1968), 159-166. Zbl 0216.29102, MR 0228341 |
| Reference:
|
[7] ODIFREDDI P.: Strong reducibilities.Bull. Amer. Math. Soc. 4 (1981), 37-86. Zbl 0484.03024, MR 0590818 |
| Reference:
|
[8] ROGERS H., Jr.: Theory of recursive functions and effective computability.McGraw-Hill, New York, 1967. Zbl 0183.01401, MR 0224462 |
| Reference:
|
[9] SACKS G. E.: Degrees of unsolvability.Annals of Mathematics Studies 55, Princeton University Press, Princeton, N. 3., 1963. Zbl 0143.25302, MR 0186554 |
| Reference:
|
[10] DEMUTH O.: O konstruktivných psevdočislach.Comment. Math. Univ. Carolinae 16 (1975), 315-331. MR 0381955 |
| Reference:
|
[11] DEMUTH O.: Oněkotorych klassach arifmetičeskich dějstvitěl'nych čišel.Comment. Math. Univ. Carolinae 23 (1982), 453-465. |
| Reference:
|
[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. |
| Reference:
|
[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 0321710 |
| Reference:
|
[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 0337534 |
| . |
