A note on initial segments below $\utilde O'$
Kučera, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 030 (1989), p. 779-781 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1989-01-01
Classification:  03D30 
@article{106801,
     author = {Anton\'\i n Ku\v cera},
     title = {A note on initial segments below $\utilde O'$},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {030},
     year = {1989},
     pages = {779-781},
     zbl = {0693.03028},
     mrnumber = {1045909},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106801}
}

Kučera, Antonín. A note on initial segments below $\utilde O'$. Commentationes Mathematicae Universitatis Carolinae, Tome 030 (1989) pp. 779-781. http://gdmltest.u-ga.fr/item/106801/

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. (1984) | MR 0775709

R. L. Epstein Degrees of unsolvability: Struclure and Theory, Lecture Notes in Math. 759 (1979). (1979)

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. (1980) | MR 0598304 | Zbl 0457.03042

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

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. (1986) | MR 0874627

M. Lerman Degrees of unsolvability, Omega Series, Springer - Verlag (1983). (1983) | MR 0708718 | Zbl 0542.03023

W. Miller D. A. Martin The degrees of hyperimmune sets, Z. Math. Logik und Gгundlag. Math. 14 (1968), 159-166. (1968) | MR 0228341

R. I. Soare Recursively Enumerable Sets and Degrees: A study of Computabe Functions and Computaby Generated Sets, Omega Series, Springer-Verlag (1987). (1987) | MR 0882921