References
Harding, C.J.: Forcing in recursion theory. Thesis, University College of Swansea (1974).
Lachlan, A.H.: Distributive initial segments of the degrees of unsolvability. Z. math. Logik Grundlagen Math.14, 457–472 (1968).
MacIntyre, J.M.: Transfinite extensions of Friedberg's completeness criterion. J. Symb. Logic42, 1–10 (1977).
Mohrherr, Jeanleah: Ph. D. Thesis, University of Illinois, Chicago Circle (1982).
Nerode, A., Shore, R.A.: Second order logic and first order theories of reducibility orderings. In: Barwise, J., Keisler, J., Kunen, K. (eds.): The Kleene symposium, pp. 181–200. Amsterdam: North-Holland 1979.
Odifreddi, P.: On the first order theory of the arithmetic degrees. Proc. Am. Math. Soc.87, 505–507 (1983).
Shore, R.A.: The Turing and truth-table degrees are not elementarily equivalent. In: Dalen, D. van (ed.): Logic Colloquium '80, pp. 231–237. Amsterdam: North-Holland 1982.
Shore, R.A.: On homogeneity and definability in the first order theory of the Turing degrees. J. Symb. Logic47, 8–16 (1982a).
Yates, C.E.M.: Initial segments of the degrees of unsolvability. Part II. Minimal degrees. J. Symb. Logic35, 243–266 (1970).
Author information
Authors and Affiliations
Additional information
Research partially supported by a grant from the NSF.
Rights and permissions
About this article
Cite this article
Shore, R.A. The arithmetic and Turing degrees are not elementarily equivalent. Arch math Logik 24, 137–139 (1984). https://doi.org/10.1007/BF02007145
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007145