Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

 
 

 

Definable degrees and automorphisms of $\mathcal {D}$


Authors: Leo Harrington and Richard A. Shore
Journal: Bull. Amer. Math. Soc. 4 (1981), 97-100
MSC (1980): Primary 03030; Secondary 03055
DOI: https://doi.org/10.1090/S0273-0979-1981-14871-0
MathSciNet review: 590819
Full-text PDF

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [1975] L. Harrington and A. Kechris, A basis result for sets of reals with an application to minimal covers, Proc. Amer. Math. Soc. 53, 445-448. MR 398832
  • [1970] C. G. Jockusch, Jr. and R. I. Soare, Minimal covers and arithmetical sets, Proc. Amer. Math. Soc. 25, 856-859. MR 265154
  • [1954] S. C. Kleene and E. L. Post, The upper semi-lattice of degrees of recursice unsolvability, Ann. of Math. (2) 59, 379-407. MR 61078
  • [1968] A. H. Lachlan, Distributive initial segments of the degrees of unsolvability, Z. Math. Logik Grundlagen 14, 457-472. 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, North-Holland, Amsterdam-New 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/0003-4843(80)90004-2
  • [1944] E. L. Post, Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50, 284-316. MR 10514
  • [1967] H. Rogers, Jr., Theory of recursive functions and effective computability, Mac-Graw 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.), North-Holland, Amsterdam.
  • [1963] G. E. Sacks, On the degrees less than 0', Ann. of Math. (2) 77, 211-231. 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 first-order 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, 121-139. MR 432435
  • [1977a] S. G. Simpson, Degrees of unsolvability: A survey of results, Handbook of Mathematical Logic, J. Barwise (ed.), North-Holland, Amsterdam.

Similar Articles

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/S0273-0979-1981-14871-0

American Mathematical Society