{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T05:20:48Z","timestamp":1774588848761,"version":"3.50.1"},"reference-count":36,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1996,4,1]],"date-time":"1996-04-01T00:00:00Z","timestamp":828316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1996,4,1]],"date-time":"1996-04-01T00:00:00Z","timestamp":828316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[1999,2,12]],"date-time":"1999-02-12T00:00:00Z","timestamp":918777600000},"content-version":"vor","delay-in-days":1047,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1996,4]]},"DOI":"10.1016\/0168-0072(96)00014-0","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T17:18:06Z","timestamp":1051723086000},"page":"29-56","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":10,"title":["Interpolating d-r.e. and REA degrees between r.e. degrees"],"prefix":"10.1016","volume":"78","author":[{"given":"Marat","family":"Arslanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Lempp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard A.","family":"Shore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/0168-0072(96)00014-0_BIB1","first-page":"270","article-title":"Structural properties of the degrees below 0\u2032","volume":"283","author":"Arslanov","year":"1985","journal-title":"Sov. Math. Dokl."},{"key":"10.1016\/0168-0072(96)00014-0_BIB2","first-page":"27","article-title":"On the upper semilattice of Turing degrees below 0\u2032","volume":"7","author":"Arslanov","year":"1988","journal-title":"Soviet Math."},{"key":"10.1016\/0168-0072(96)00014-0_BIB3","series-title":"Recursion Theory Week","first-page":"23","article-title":"On the structure of degrees below 0\u2032","volume":"1432","author":"Arslanov","year":"1990"},{"key":"10.1016\/0168-0072(96)00014-0_BIB4","unstructured":"M.M. Arslanov, L. Lempp and R.A. Shore, On isolating r.e. and isolated d-r.e. degrees, in: S.B. Cooper, T. Slaman and S. Wainer, eds., Computability, Enumerability and Unsolvability: Directions in Recursion Theory (Cambridge Univ. Press, Cambridge)."},{"key":"10.1016\/0168-0072(96)00014-0_BIB5","article-title":"Degrees of Unsolvability","author":"Cooper","year":"1971"},{"key":"10.1016\/0168-0072(96)00014-0_BIB6","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1090\/S0273-0979-1990-15923-3","article-title":"The jump is definable in the structure of the degrees of Unsolvability","volume":"23","author":"Cooper","year":"1990","journal-title":"Bull. Am. Math. Soc. (NS)"},{"key":"10.1016\/0168-0072(96)00014-0_BIB7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01370692","article-title":"The density of the low2 n-r.e. degrees","volume":"31","author":"Cooper","year":"1991","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/0168-0072(96)00014-0_BIB8","first-page":"461","article-title":"A splitting theorem for the n-r.e. degrees","volume":"115","author":"Cooper","year":"1992"},{"key":"10.1016\/0168-0072(96)00014-0_BIB9","series-title":"Logic Colloquium '90","first-page":"25","article-title":"Definability and global degree theory","volume":"2","author":"Cooper","year":"1993"},{"key":"10.1016\/0168-0072(96)00014-0_BIB10","series-title":"Proc. 9th Internat. Congress of Logic, Methodology and Philosophy of Science","first-page":"209","article-title":"Rigidity and definability in the noncomputable universe","author":"Cooper","year":"1994"},{"key":"10.1016\/0168-0072(96)00014-0_BIB11","unstructured":"S.B. Cooper, On a conjecture of Kleene and Post, to appear."},{"key":"10.1016\/0168-0072(96)00014-0_BIB12","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0168-0072(91)90005-7","article-title":"The d-r.e. degrees are not dense","volume":"55","author":"Cooper","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(96)00014-0_BIB13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF02937291","article-title":"Weak density and cupping in the d-r.e. degrees","volume":"67","author":"Cooper","year":"1989","journal-title":"Israel J. Math."},{"key":"10.1016\/0168-0072(96)00014-0_BIB14","unstructured":"S.B. Cooper and X. Yi, Isolated d-r.e. degrees, to appear."},{"key":"10.1016\/0168-0072(96)00014-0_BIB15","unstructured":"D. Ding and L. Qian, An r.e. degree not isolating any d-r.e. degree, to appear."},{"key":"10.1016\/0168-0072(96)00014-0_BIB16","series-title":"Logic Year 1979\u201380","first-page":"32","article-title":"Hierarchies of sets and degrees below 0\u2032","volume":"859","author":"Epstein","year":"1981"},{"issue":"1","key":"10.1016\/0168-0072(96)00014-0_BIB17","first-page":"47","article-title":"On a hierarchy of sets I","volume":"7","author":"Ershov","year":"1968","journal-title":"Algebra i Logika"},{"issue":"4","key":"10.1016\/0168-0072(96)00014-0_BIB18","first-page":"15","article-title":"On a hierarchy of sets II","volume":"7","author":"Ershov","year":"1968","journal-title":"Algebra i Logika"},{"issue":"1","key":"10.1016\/0168-0072(96)00014-0_BIB19","first-page":"34","article-title":"On a hierarchy of sets III","volume":"9","author":"Ershov","year":"1970","journal-title":"Algebra i Logika"},{"key":"10.1016\/0168-0072(96)00014-0_BIB20","doi-asserted-by":"crossref","first-page":"28","DOI":"10.2307\/2270580","article-title":"Limiting recursion","volume":"30","author":"Gold","year":"1965","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(96)00014-0_BIB21","first-page":"3","article-title":"On differences of recursively enumerable sets","volume":"279","author":"Ishmukhametov","year":"1985","journal-title":"Izv. Vyssh. Uchebn. Zaved. Mat."},{"key":"10.1016\/0168-0072(96)00014-0_BIB22","doi-asserted-by":"crossref","first-page":"1205","DOI":"10.2307\/2274273","article-title":"Pseudo-jump operators II: Transfinite iterations, hierarchies and minimal covers","volume":"49","author":"Jockusch","year":"1984","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(96)00014-0_BIB23","author":"Kaddah","year":"1992"},{"key":"10.1016\/0168-0072(96)00014-0_BIB24","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0168-0072(93)90238-9","article-title":"Infima in the d-r.e. degrees","volume":"62","author":"Kaddah","year":"1993","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(96)00014-0_BIB25","article-title":"Phenomena in the n-r.e. and n-REA degrees","author":"LaForte","year":"1995"},{"key":"10.1016\/0168-0072(96)00014-0_BIB26","series-title":"The Kleene Symposium","first-page":"181","article-title":"Second order logic and first order theories of reducibility orderings","author":"Nerode","year":"1979"},{"key":"10.1016\/0168-0072(96)00014-0_BIB27","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0003-4843(80)90004-2","article-title":"Reducibility orderings: Theories, definability and automorphisms","volume":"18","author":"Nerode","year":"1960","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/0168-0072(96)00014-0_BIB28","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2270581","article-title":"Trial and error predicates and the solution to a problem of Mostowski","volume":"30","author":"Putnam","year":"1965","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(96)00014-0_BIB29","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1002\/malq.19680142105","article-title":"A dichotomy of the recursively enumerable sets","volume":"14","author":"Robinson","year":"1968","journal-title":"Z. Math. Logik Grundlag Math."},{"key":"10.1016\/0168-0072(96)00014-0_BIB30","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1090\/S0002-9904-1961-10652-6","article-title":"A minimal degree less than 0\u2032","volume":"67","author":"Sacks","year":"1961","journal-title":"Bull. Amer. Math. Soc."},{"issue":"2","key":"10.1016\/0168-0072(96)00014-0_BIB31","doi-asserted-by":"crossref","first-page":"211","DOI":"10.2307\/1970214","article-title":"On the degrees less than 0\u2032","volume":"77","author":"Sacks","year":"1963","journal-title":"Ann. Math."},{"issue":"2","key":"10.1016\/0168-0072(96)00014-0_BIB32","doi-asserted-by":"crossref","first-page":"300","DOI":"10.2307\/1970393","article-title":"The recursively enumerable degrees are dense","volume":"80","author":"Sacks","year":"1964","journal-title":"Ann. Math."},{"key":"10.1016\/0168-0072(96)00014-0_BIB33","doi-asserted-by":"crossref","first-page":"8","DOI":"10.2307\/2273376","article-title":"On homogeneity and definability in the first order theory of the Turing degrees","volume":"47","author":"Shore","year":"1982","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(96)00014-0_BIB34","unstructured":"T.A. Slaman and W.H. Woodin, Definability in degree structures, in preparation."},{"key":"10.1016\/0168-0072(96)00014-0_BIB35","series-title":"Recursively Enumerable Sets and Degrees","author":"Soare","year":"1987"},{"key":"10.1016\/0168-0072(96)00014-0_BIB36","series-title":"Proc. Herbrand Symp., Logic Colloquium 1981","first-page":"299","article-title":"Relative recursive enumerability","author":"Soare","year":"1982"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007296000140?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007296000140?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:39:13Z","timestamp":1757453953000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007296000140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":36,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["0168007296000140"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(96)00014-0","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1996,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Interpolating d-r.e. and REA degrees between r.e. degrees","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0168-0072(96)00014-0","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1996 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}