{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:12Z","timestamp":1725512112350},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792277"},{"type":"electronic","value":"9783540792284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79228-4_51","type":"book-chapter","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T05:07:56Z","timestamp":1209445676000},"page":"588-596","source":"Crossref","is-referenced-by-count":0,"title":["The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees"],"prefix":"10.1007","author":[{"given":"S. Barry","family":"Cooper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew C.","family":"Salts","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guohua","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"51_CR1","unstructured":"Afshari, B., Barmpalias, G., Cooper, S.B., Stephan, F.: Post\u2019s Programme for the Ershov Hierarchy. J. of Logic and Computation (to appear)"},{"key":"51_CR2","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0168-0072(96)00014-0","volume":"78","author":"M.M. Arslanov","year":"1994","unstructured":"Arslanov, M.M., Lempp, S., Shore, R.A.: Interpolating d-r.e. and REA degrees between r.e. degrees. Ann. Pure. Appl. Logic\u00a078, 29\u201356 (1994)","journal-title":"Ann. Pure. Appl. Logic"},{"key":"51_CR3","series-title":"London Math. Soc. Lecture Note Ser","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1017\/CBO9780511629167.003","volume-title":"Computability, enumerability, unsolvability","author":"M.M. Arslanov","year":"1996","unstructured":"Arslanov, M.M., Lempp, S., Shore, R.A.: On isolating r.e. and isolated d-r.e. degrees. In: Computability, enumerability, unsolvability. London Math. Soc. Lecture Note Ser, vol.\u00a0224, pp. 61\u201380. Cambridge Univ. Press, Cambridge (1996)"},{"key":"51_CR4","unstructured":"Cenzer, D., LaForte, G., Wu, G.: The nonisolated degrees are nowhere dense (in preparation)"},{"key":"51_CR5","unstructured":"Cooper, S.B.: Computability Theory. Chapman & Hall\/CRC, Boca Raton, London, New York, Washington, D.C (2004)"},{"key":"51_CR6","unstructured":"Cooper, S.B., Salts, M., Wu, G.: The non-isolating degrees are upwards dense in the computably enumerable degrees (to appear)"},{"key":"51_CR7","unstructured":"Cooper, S.B., Yi, X.: Isolated d.r.e. degrees. University of Leeds, Dept. of Pure Math.\u00a017 (1995) (preprint series)"},{"key":"51_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s001530050053","volume":"36","author":"D. Ding","year":"1996","unstructured":"Ding, D., Qian, L.: Isolated d.r.e. degrees are dense in r.e. degree structure. Arch. Math. Logic\u00a036, 1\u201310 (1996)","journal-title":"Arch. Math. Logic"},{"key":"51_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1112\/blms\/21.1.43","volume":"21","author":"R.G. Downey","year":"1989","unstructured":"Downey, R.G.: D.r.e. degrees and the nondiamond theorem. Bull. London Math. Soc.\u00a021, 43\u201350 (1989)","journal-title":"Bull. London Math. Soc."},{"key":"51_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1002\/malq.19960420108","volume":"42","author":"G. LaForte","year":"1996","unstructured":"LaForte, G.: The isolated d.r.e. degrees are dense in the r.e. degrees. Math. Logic Quart.\u00a042, 83\u2013103 (1996)","journal-title":"Math. Logic Quart."},{"key":"51_CR11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1002\/malq.19990450106","volume":"45","author":"M. Salts","year":"1999","unstructured":"Salts, M.: An interval of computably enumerable isolating degrees. Math. Logic Quart.\u00a045, 59\u201372 (1999)","journal-title":"Math. Logic Quart."},{"key":"51_CR12","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s001530100111","volume":"41","author":"S. Ishmukhametov","year":"2002","unstructured":"Ishmukhametov, S., Wu, G.: Isolation and the high\/low hierarchy. Arch. Math. Logic\u00a041, 259\u2013266 (2002)","journal-title":"Arch. Math. Logic"},{"key":"51_CR13","doi-asserted-by":"publisher","first-page":"1055","DOI":"10.2178\/jsl\/1190150148","volume":"67","author":"G. Wu","year":"2002","unstructured":"Wu, G.: Isolation and lattice embeddings. Jour. Symb. Logic\u00a067, 1055\u20131064 (2002)","journal-title":"Jour. Symb. Logic"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79228-4_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:28Z","timestamp":1619522068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79228-4_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792277","9783540792284"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79228-4_51","relation":{},"subject":[]}}