{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:58:55Z","timestamp":1648695535706},"reference-count":20,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":7862,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1992,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show the decidability of the existential theory of the recursively enumerable degrees in the language of Turing reducibility, Turing reducibility of the Turing jumps, and least and greatest element.<\/jats:p>","DOI":"10.2307\/2275452","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:45:35Z","timestamp":1146955535000},"page":"1120-1130","source":"Crossref","is-referenced-by-count":1,"title":["The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility"],"prefix":"10.1017","volume":"57","author":[{"given":"Steffen","family":"Lempp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Lerman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200022568_ref018","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(88)90034-6"},{"key":"S0022481200022568_ref016","first-page":"331","volume-title":"Generalized recursion theory","volume":"II","author":"Shore","year":"1978"},{"key":"S0022481200022568_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21755-9"},{"key":"S0022481200022568_ref012","first-page":"376","volume":"54","author":"Lempp","year":"1989","journal-title":"A limit on relative genericity in the recursively enumerable degrees"},{"key":"S0022481200022568_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0086123"},{"key":"S0022481200022568_ref009","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19680143002"},{"key":"S0022481200022568_ref008","first-page":"563","volume":"56","author":"Hinman","year":"1991","journal-title":"Jump embeddings into the Turing degrees"},{"key":"S0022481200022568_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"},{"key":"S0022481200022568_ref006","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1982-14970-9"},{"key":"S0022481200022568_ref005","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.43.2.236"},{"key":"S0022481200022568_ref002","first-page":"735","volume":"II","author":"Ambos-Spies","year":"1989","journal-title":"Lattice embeddings into the recursively enumerable degrees"},{"key":"S0022481200022568_ref001","first-page":"257","volume":"51","author":"Ambos-Spies","year":"1986","journal-title":"Lattice embeddings into the recursively enumerable degrees"},{"key":"S0022481200022568_ref014","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1988-0973174-0"},{"key":"S0022481200022568_ref019","doi-asserted-by":"publisher","DOI":"10.2307\/1971028"},{"key":"S0022481200022568_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0067135"},{"key":"S0022481200022568_ref003","unstructured":"Cooper S. B. , The jump is definable in the structure of the degrees of unsolvability, preprint."},{"key":"S0022481200022568_ref007","unstructured":"Harrington L. and Slaman T. A. , Interpreting arithmetic in the Turing degrees of the recursively enumerable sets (to appear)."},{"key":"S0022481200022568_ref015","first-page":"194","article-title":"On the solvability of the problem of reducibility in the theory of algorithms","volume":"108","author":"Mu\u010dnik","year":"1956","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S0022481200022568_ref017","first-page":"8","volume":"47","author":"Shore","year":"1982","journal-title":"On homogeneity and definability in the first-order theory of the Turing degrees"},{"key":"S0022481200022568_ref011","unstructured":"Lempp S. and Lerman M. , The decidability of the existential theory of the poset of the recursively enumerable degrees with jump relations (in preparation)."}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200022568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:00:50Z","timestamp":1558040450000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200022568\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,9]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,9]]}},"alternative-id":["S0022481200022568"],"URL":"https:\/\/doi.org\/10.2307\/2275452","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,9]]}}}