A note on initial segments below
Commentationes Mathematicae Universitatis Carolinae (1989)
- Volume: 030, Issue: 4, page 779-781
- ISSN: 0010-2628
Access Full Article
top
How to cite
topKučera, Antonín. "A note on initial segments below $\mathmi{O̰}^{\prime }$." Commentationes Mathematicae Universitatis Carolinae 030.4 (1989): 779-781. <http://eudml.org/doc/17792>.
@article{Kučera1989,
author = {Kučera, Antonín},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {T-reducibility; PA degree; 1-generic degrees},
language = {eng},
number = {4},
pages = {779-781},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {A note on initial segments below $\mathmi\{O̰\}^\{\prime \}$},
url = {http://eudml.org/doc/17792},
volume = {030},
year = {1989},
}
TY - JOUR
AU - Kučera, Antonín
TI - A note on initial segments below $\mathmi{O̰}^{\prime }$
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1989
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 030
IS - 4
SP - 779
EP - 781
LA - eng
KW - T-reducibility; PA degree; 1-generic degrees
UR - http://eudml.org/doc/17792
ER -
References
top- 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) MR0775709
- 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) Zbl0457.03042MR0598304
- C. G. Jockusch, Jr. R. I. Soare, classes and degrees of theories, Trans. Amer. Math. Soc. 173 (1972), 33-56. (1972) MR0316227
- 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) MR0874627
- M. Lerman, Degrees of unsolvability, Omega Series, Springer - Verlag (1983). (1983) Zbl0542.03023MR0708718
- W. Miller D. A. Martin, The degrees of hyperimmune sets, Z. Math. Logik und Gгundlag. Math. 14 (1968), 159-166. (1968) MR0228341
- R. I. Soare, Recursively Enumerable Sets and Degrees: A study of Computabe Functions and Computaby Generated Sets, Omega Series, Springer-Verlag (1987). (1987) MR0882921
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.