Definable degrees and automorphisms of $\mathcal {D}$
Authors:
Leo Harrington and Richard A. Shore
Journal:
Bull. Amer. Math. Soc. 4 (1981), 97100
MSC (1980):
Primary 03030; Secondary 03055
DOI:
https://doi.org/10.1090/S027309791981148710
MathSciNet review:
590819
Fulltext PDF
References  Similar Articles  Additional Information

[1975] L. Harrington and A. Kechris, A basis result for sets of reals with an application to minimal covers, Proc. Amer. Math. Soc. 53, 445448. MR 398832

[1970] C. G. Jockusch, Jr. and R. I. Soare, Minimal covers and arithmetical sets, Proc. Amer. Math. Soc. 25, 856859. MR 265154

[1954] S. C. Kleene and E. L. Post, The upper semilattice of degrees of recursice unsolvability, Ann. of Math. (2) 59, 379407. MR 61078

[1968] A. H. Lachlan, Distributive initial segments of the degrees of unsolvability, Z. Math. Logik Grundlagen 14, 457472. MR 237331
 Anil Nerode and Richard A. Shore, Second order logic and first order theories of reducibility orderings, The Kleene Symposium (Proc. Sympos., Univ. Wisconsin, Madison, Wis., 1978), Stud. Logic Foundations Math., vol. 101, NorthHolland, AmsterdamNew York, 1980, pp. 181–200. MR 591882
 Anil Nerode and Richard A. Shore, Reducibility orderings: theories, definability and automorphisms, Ann. Math. Logic 18 (1980), no. 1, 61–89. MR 568916, https://doi.org/10.1016/00034843(80)900042

[1944] E. L. Post, Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50, 284316. MR 10514

[1967] H. Rogers, Jr., Theory of recursive functions and effective computability, MacGraw Hill Co., New York. MR 224462

[1967a] H. Rogers, Jr., Some problems of definability in recursive function theory, Sets Models and Recursion Theory, Proc. of the Summer School in Mathematical Logic and Tenth Logic Colloquium Lercester August—September 1965, Crossley, J. N. (ed.), NorthHolland, Amsterdam.

[1963] G. E. Sacks, On the degrees less than 0', Ann. of Math. (2) 77, 211231. MR 146078
 Richard A. Shore, The homogeneity conjecture, Proc. Nat. Acad. Sci. U.S.A. 76 (1979), no. 9, 4218–4219. MR 543312
 Richard A. Shore, On homogeneity and definability in the firstorder theory of the Turing degrees, J. Symbolic Logic 47 (1982), no. 1, 8–16. MR 644748, https://doi.org/10.2307/2273376

[1977] S. G. Simpson, First order theory of the degrees of recursive unsolvability, Ann. of Math. (2) 105, 121139. MR 432435

[1977a] S. G. Simpson, Degrees of unsolvability: A survey of results, Handbook of Mathematical Logic, J. Barwise (ed.), NorthHolland, Amsterdam.
Retrieve articles in Bulletin of the American Mathematical Society with MSC (1980): 03030, 03055
Retrieve articles in all journals with MSC (1980): 03030, 03055
Additional Information
DOI:
https://doi.org/10.1090/S027309791981148710