Minimal degrees which are $\Sigma _{2}^{0}$ but not $\Delta _{2}^{0}$
HTML articles powered by AMS MathViewer
- by Richard A. Shore
- Proc. Amer. Math. Soc. 132 (2004), 563-565
- DOI: https://doi.org/10.1090/S0002-9939-03-07080-1
- Published electronically: June 17, 2003
- PDF | Request permission
Abstract:
We give a short proof of the existence of minimal Turing degrees which are $\Sigma _{2}^{0}$ but not $\Delta _{2}^{0}$.References
- Harvey Friedman, One hundred and two problems in mathematical logic, J. Symbolic Logic 40 (1975), 113–129. MR 369018, DOI 10.2307/2271891
- Harvey Friedman, Recursiveness in $P^{1}_{1}$ paths through ${\cal O}$, Proc. Amer. Math. Soc. 54 (1976), 311–315. MR 398812, DOI 10.1090/S0002-9939-1976-0398812-2
- Goncharov, S. S., Harizanov, V. S., Knight, J. and Shore, R. A., $\Pi _{1}^{1}$ relations and paths through $\mathcal {O}$, in preparation.
- Carl G. Jockusch Jr., Recursiveness of initial segments of Kleene’s $O$, Fund. Math. 87 (1975), 161–167. MR 479988, DOI 10.4064/fm-87-2-161-167
- Carl G. Jockusch Jr. and Robert I. Soare, $\Pi ^{0}_{1}$ classes and degrees of theories, Trans. Amer. Math. Soc. 173 (1972), 33–56. MR 316227, DOI 10.1090/S0002-9947-1972-0316227-0
- Carl G. Jockusch Jr. and Robert I. Soare, Degrees of members of $\Pi ^{0}_{1}$ classes, Pacific J. Math. 40 (1972), 605–616. MR 309722, DOI 10.2140/pjm.1972.40.605
- A. H. Lachlan, Solution to a problem of Spector, Canadian J. Math. 23 (1971), 247–256. MR 317911, DOI 10.4153/CJM-1971-024-7
- Alfred B. Manaster, Some contrasts between degrees and the arithmetical hierarchy, J. Symbolic Logic 36 (1971), 301–304. MR 286658, DOI 10.2307/2270264
- Lerman, Manuel I., Degrees of unsolvability. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987.
- Leonard P. Sasso Jr., A cornucopia of minimal degrees, J. Symbolic Logic 35 (1970), 383–388. MR 282835, DOI 10.2307/2270695
- Robert I. Soare, Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987. A study of computable functions and computably generated sets. MR 882921, DOI 10.1007/978-3-662-02460-7
Bibliographic Information
- Richard A. Shore
- Affiliation: Department of Mathematics, Cornell University, Ithaca, New York 14853
- MR Author ID: 161135
- Email: shore@math.cornell.edu
- Received by editor(s): August 19, 2002
- Received by editor(s) in revised form: October 8, 2002
- Published electronically: June 17, 2003
- Additional Notes: This research was partially supported by NSF Grant DMS-0100035
- Communicated by: Carl G. Jockusch, Jr.
- © Copyright 2003 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 132 (2004), 563-565
- MSC (2000): Primary 03D28
- DOI: https://doi.org/10.1090/S0002-9939-03-07080-1
- MathSciNet review: 2022382