| Title:
|
A note on initial segments below $\utilde O'$ (English) |
| Author:
|
Kučera, Antonín |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
30 |
| Issue:
|
4 |
| Year:
|
1989 |
| Pages:
|
779-781 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D30 |
| idZBL:
|
Zbl 0693.03028 |
| idMR:
|
MR1045909 |
| . |
| Date available:
|
2008-06-05T21:41:12Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106801 |
| . |
| Reference:
|
[1] C. T. Chong C. G. Jockusch, Jr.: Minimal degrees and 1-generic sets below O'.іn: Computation and Proof Theory, Proceedings of the Logic Colloquium '83, Lecture Notes in Math. 1104 (1984), 63-77. MR 0775709 |
| Reference:
|
[2] R. L. Epstein: Degrees of unsolvability: Struclure and Theory.Lecture Notes in Math. 759 (1979). |
| Reference:
|
[3] C. G. Jockusch, Jr.: Degrees of generic sets.in: Recursion Theory: Its Generalizations and Applications, Proceedins of Logic Colloquium '79, London Math. Society Lecture Notes 45 (1980), 110-139. Zbl 0457.03042, MR 0598304 |
| Reference:
|
[4] C. G. Jockusch, Jr. R. I. Soare: $П^0_1$ classes and degrees of theories.Trans. Amer. Math. Soc. 173 (1972), 33-56. MR 0316227 |
| Reference:
|
[5] A. Kučera: An aliernative, priority-free, soluiion io Posťs problem.in: Proceedings MFCS 86, Lecture Notes in Computer Scince 233 (1986), 493-500. MR 0874627 |
| Reference:
|
[6] M. Lerman: Degrees of unsolvability.Omega Series, Springer - Verlag (1983). Zbl 0542.03023, MR 0708718 |
| Reference:
|
[7] W. Miller D. A. Martin: The degrees of hyperimmune sets.Z. Math. Logik und Gгundlag. Math. 14 (1968), 159-166. MR 0228341 |
| Reference:
|
[8] R. I. Soare: Recursively Enumerable Sets and Degrees: A study of Computabe Functions and Computaby Generated Sets.Omega Series, Springer-Verlag (1987). MR 0882921 |
| . |
