Minimal degrees which are but not

Author:
Richard A. Shore

Journal:
Proc. Amer. Math. Soc. **132** (2004), 563-565

MSC (2000):
Primary 03D28

Published electronically:
June 17, 2003

MathSciNet review:
2022382

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We give a short proof of the existence of minimal Turing degrees which are but not .

**1.**Harvey Friedman,*One hundred and two problems in mathematical logic*, J. Symbolic Logic**40**(1975), 113–129. MR**0369018****2.**Harvey Friedman,*Recursiveness in 𝑃¹₁ paths through \cal𝑂*, Proc. Amer. Math. Soc.**54**(1976), 311–315. MR**0398812**, 10.1090/S0002-9939-1976-0398812-2**3.**Goncharov, S. S., Harizanov, V. S., Knight, J. and Shore, R. A.,*relations and paths through*, in preparation.**4.**Carl G. Jockusch Jr.,*Recursiveness of initial segments of Kleene’s 𝑂*, Fund. Math.**87**(1975), 161–167. MR**0479988****5.**Carl G. Jockusch Jr. and Robert I. Soare,*Π⁰₁ classes and degrees of theories*, Trans. Amer. Math. Soc.**173**(1972), 33–56. MR**0316227**, 10.1090/S0002-9947-1972-0316227-0**6.**Carl G. Jockusch Jr. and Robert I. Soare,*Degrees of members of Π⁰₁ classes*, Pacific J. Math.**40**(1972), 605–616. MR**0309722****7.**A. H. Lachlan,*Solution to a problem of Spector*, Canad. J. Math.**23**(1971), 247–256. MR**0317911****8.**Alfred B. Manaster,*Some contrasts between degrees and the arithmetical hierarchy*, J. Symbolic Logic**36**(1971), 301–304. MR**0286658****9.**Lerman, Manuel I.,*Degrees of unsolvability.*Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987.**10.**Leonard P. Sasso Jr.,*A cornucopia of minimal degrees*, J. Symbolic Logic**35**(1970), 383–388. MR**0282835****11.**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**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
03D28

Retrieve articles in all journals with MSC (2000): 03D28

Additional Information

**Richard A. Shore**

Affiliation:
Department of Mathematics, Cornell University, Ithaca, New York 14853

Email:
shore@math.cornell.edu

DOI:
http://dx.doi.org/10.1090/S0002-9939-03-07080-1

Keywords:
Minimal degree,
recursively enumerable in $0'$

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.

Article copyright:
© Copyright 2003
American Mathematical Society