{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T17:22:55Z","timestamp":1709832175887},"reference-count":34,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":5945,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1997,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove that a (recursively) enumerable degree is contiguous iff it is locally distributive. This settles a twenty-year old question going back to Ladner and Sasso. We also prove that strong contiguity and contiguity coincide, settling a question of the first author, and prove that no <jats:italic>m<\/jats:italic>-topped degree is contiguous, settling a question of the first author and Carl Jockusch [11]. Finally, we prove some results concerning local distributivity and relativized weak truth table reducibility.<\/jats:p>","DOI":"10.2307\/2275639","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T23:03:06Z","timestamp":1146956586000},"page":"1215-1240","source":"Crossref","is-referenced-by-count":12,"title":["Contiguity and distributivity in the enumerable Turing degrees"],"prefix":"10.1017","volume":"62","author":[{"given":"Rodney G.","family":"Downey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Lempp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200015711_ref012","first-page":"175","volume-title":"Proceedings Oberwolfach 1989","author":"Downey","year":"1990"},{"key":"S0022481200015711_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90220-8"},{"key":"S0022481200015711_ref010","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350411"},{"key":"S0022481200015711_ref009","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1987.127.299"},{"key":"S0022481200015711_ref025","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(76)90016-4"},{"key":"S0022481200015711_ref007","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1215\/ijm\/1256069291","article-title":"degrees and transfer theorems","volume":"31","author":"Downey","year":"1987","journal-title":"Illinois Journal Mathematics"},{"key":"S0022481200015711_ref032","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90044-M"},{"key":"S0022481200015711_ref024","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059544"},{"key":"S0022481200015711_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90042-0"},{"key":"S0022481200015711_ref022","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0245439-X"},{"key":"S0022481200015711_ref030","volume-title":"Classical recursion theory","author":"Odifreddi","year":"1990"},{"key":"S0022481200015711_ref011","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1987-0879565-X"},{"key":"S0022481200015711_ref021","unstructured":"Ingrassia M. , P-genericity for recursively enumerable sets, Thesis , University of Illinois at Urbana, 1981."},{"key":"S0022481200015711_ref002","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19850312903"},{"key":"S0022481200015711_ref033","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"},{"key":"S0022481200015711_ref018","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90234-5"},{"key":"S0022481200015711_ref027","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(75)90007-8"},{"key":"S0022481200015711_ref001","first-page":"1","volume-title":"Computation and proof theory","author":"Ambos-Spies","year":"1984"},{"key":"S0022481200015711_ref023","first-page":"599","article-title":"Pseudo-jump operators I: The r. e. case","volume":"275","author":"Jockusch","year":"1983","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200015711_ref028","first-page":"137","volume":"49","author":"Lerman","year":"1984","journal-title":"The universal splitting property, II"},{"key":"S0022481200015711_ref004","first-page":"1110","volume":"53","author":"Ambos-Spies","year":"1988","journal-title":"Degree theoretical splitting properties of recursively enumerable sets"},{"key":"S0022481200015711_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BF02017497"},{"key":"S0022481200015711_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90051-1"},{"key":"S0022481200015711_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(86)90071-0"},{"key":"S0022481200015711_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90011-0"},{"key":"S0022481200015711_ref016","volume-title":"Israel Journal of Mathematics","author":"Downey"},{"key":"S0022481200015711_ref019","first-page":"137","volume":"32","author":"Downey","year":"1986","journal-title":"Splitting properties of r.e. sets and degrees"},{"key":"S0022481200015711_ref020","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19590050703"},{"key":"S0022481200015711_ref031","doi-asserted-by":"publisher","DOI":"10.2307\/1970214"},{"key":"S0022481200015711_ref029","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1981-14863-1"},{"key":"S0022481200015711_ref026","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1973-0398805-7"},{"key":"S0022481200015711_ref003","first-page":"92","volume-title":"Logical methods","author":"Ambos-Spies","year":"1994"},{"key":"S0022481200015711_ref034","first-page":"921","volume":"48","author":"Stob","year":"1983","journal-title":"Wtt-degrees and T-degrees of recursively enumerable sets"},{"key":"S0022481200015711_ref014","first-page":"727","volume":"60","author":"Downey","year":"1995","journal-title":"Degree theoretical definitions of low2 recursively enumerable sets"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200015711","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T19:55:28Z","timestamp":1557604528000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200015711\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["S0022481200015711"],"URL":"https:\/\/doi.org\/10.2307\/2275639","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}