Geodesic
A note on initial segments below $\utilde O'$
Commentationes Mathematicae Universitatis Carolinae, Tome 30 (1989) no. 4, pp. 779-781 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03D30 
@article{CMUC_1989_30_4_a20,
     author = {Ku\v{c}era, Anton{\'\i}n},
     title = {A note on initial segments below $\utilde O'$},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {779--781},
     year = {1989},
     volume = {30},
     number = {4},
     mrnumber = {1045909},
     zbl = {0693.03028},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1989_30_4_a20/}
}
TY  - JOUR
AU  - Kučera, Antonín
TI  - A note on initial segments below $\utilde O'$
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1989
SP  - 779
EP  - 781
VL  - 30
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/CMUC_1989_30_4_a20/
LA  - en
ID  - CMUC_1989_30_4_a20
ER  - 
%0 Journal Article
%A Kučera, Antonín
%T A note on initial segments below $\utilde O'$
%J Commentationes Mathematicae Universitatis Carolinae
%D 1989
%P 779-781
%V 30
%N 4
%U http://geodesic.mathdoc.fr/item/CMUC_1989_30_4_a20/
%G en
%F CMUC_1989_30_4_a20
Kučera, Antonín. A note on initial segments below $\utilde O'$. Commentationes Mathematicae Universitatis Carolinae, Tome 30 (1989) no. 4, pp. 779-781. http://geodesic.mathdoc.fr/item/CMUC_1989_30_4_a20/

[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

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

[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. | MR | Zbl

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

[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

[6] M. Lerman: Degrees of unsolvability. Omega Series, Springer - Verlag (1983). | MR | Zbl

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

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