{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T13:31:56Z","timestamp":1648733516031},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1984,12,1]],"date-time":"1984-12-01T00:00:00Z","timestamp":470707200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1984,12]]},"DOI":"10.1007\/bf02007145","type":"journal-article","created":{"date-parts":[[2005,8,4]],"date-time":"2005-08-04T22:26:22Z","timestamp":1123194382000},"page":"137-139","source":"Crossref","is-referenced-by-count":0,"title":["The arithmetic and Turing degrees are not elementarily equivalent"],"prefix":"10.1007","volume":"24","author":[{"given":"Richard A.","family":"Shore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02007145_CR1","unstructured":"Harding, C.J.: Forcing in recursion theory. Thesis, University College of Swansea (1974)."},{"key":"BF02007145_CR2","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1002\/malq.19680143002","volume":"14","author":"A.H. Lachlan","year":"1968","unstructured":"Lachlan, A.H.: Distributive initial segments of the degrees of unsolvability. Z. math. Logik Grundlagen Math.14, 457\u2013472 (1968).","journal-title":"Z. math. Logik Grundlagen Math."},{"key":"BF02007145_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2272313","volume":"42","author":"J.M. MacIntyre","year":"1977","unstructured":"MacIntyre, J.M.: Transfinite extensions of Friedberg's completeness criterion. J. Symb. Logic42, 1\u201310 (1977).","journal-title":"J. Symb. Logic"},{"key":"BF02007145_CR4","volume-title":"Ph. D. Thesis","author":"Jeanleah Mohrherr","year":"1982","unstructured":"Mohrherr, Jeanleah: Ph. D. Thesis, University of Illinois, Chicago Circle (1982)."},{"key":"BF02007145_CR5","first-page":"181","volume-title":"The Kleene symposium","author":"A. Nerode","year":"1979","unstructured":"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\u2013200. Amsterdam: North-Holland 1979."},{"key":"BF02007145_CR6","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1090\/S0002-9939-1983-0684647-3","volume":"87","author":"P. Odifreddi","year":"1983","unstructured":"Odifreddi, P.: On the first order theory of the arithmetic degrees. Proc. Am. Math. Soc.87, 505\u2013507 (1983).","journal-title":"Proc. Am. Math. Soc."},{"key":"BF02007145_CR7","first-page":"231","volume-title":"Logic Colloquium '80","author":"R.A. Shore","year":"1982","unstructured":"Shore, R.A.: The Turing and truth-table degrees are not elementarily equivalent. In: Dalen, D. van (ed.): Logic Colloquium '80, pp. 231\u2013237. Amsterdam: North-Holland 1982."},{"key":"BF02007145_CR8","doi-asserted-by":"crossref","first-page":"8","DOI":"10.2307\/2273376","volume":"47","author":"R.A. Shore","year":"1982","unstructured":"Shore, R.A.: On homogeneity and definability in the first order theory of the Turing degrees. J. Symb. Logic47, 8\u201316 (1982a).","journal-title":"J. Symb. Logic"},{"key":"BF02007145_CR9","doi-asserted-by":"crossref","first-page":"243","DOI":"10.2307\/2270517","volume":"35","author":"C.E.M. Yates","year":"1970","unstructured":"Yates, C.E.M.: Initial segments of the degrees of unsolvability. Part II. Minimal degrees. J. Symb. Logic35, 243\u2013266 (1970).","journal-title":"J. Symb. Logic"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007145.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007145\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:26:49Z","timestamp":1557833209000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF02007145"],"URL":"https:\/\/doi.org\/10.1007\/bf02007145","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}