{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T00:01:47Z","timestamp":1649030507514},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T00:00:00Z","timestamp":1257206400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1007\/s00153-009-0159-x","type":"journal-article","created":{"date-parts":[[2009,11,2]],"date-time":"2009-11-02T08:43:32Z","timestamp":1257151412000},"page":"35-49","source":"Crossref","is-referenced-by-count":0,"title":["Infima of d.r.e. degrees"],"prefix":"10.1007","volume":"49","author":[{"given":"Jiang","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shenling","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guohua","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,11,3]]},"reference":[{"key":"159_CR1","unstructured":"Cenzer, Douglas, LaForte, Geoffrey, Wu, Guohua: The nonisolating degrees are nowhere dense in the computably enumeralbe degrees (to appear)"},{"issue":"2","key":"159_CR2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF02937291","volume":"67","author":"S.B. Cooper","year":"1989","unstructured":"Cooper S.B., Lempp S., Watson P.: Weak density and cupping in the d.r.e. degrees. Israel J. Math. 67(2), 137\u2013152 (1989)","journal-title":"Israel J. Math."},{"issue":"3","key":"159_CR3","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0168-0072(93)90238-9","volume":"62","author":"D. Kaddah","year":"1993","unstructured":"Kaddah D.: Infima in the d.r.e. degrees. Ann. Pure Appl. Log. 62(3), 207\u2013263 (1993)","journal-title":"Ann. Pure Appl. Log."},{"issue":"2","key":"159_CR4","doi-asserted-by":"crossref","first-page":"379","DOI":"10.2307\/1969708","volume":"59","author":"S.C. Kleene","year":"1954","unstructured":"Kleene S.C., Post Emil L.: The upper semi-lattice of degrees of recursive unsolvability. Ann. of Math. 59(2), 379\u2013407 (1954)","journal-title":"Ann. of Math."},{"issue":"3","key":"159_CR5","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1112\/plms\/s3-16.1.537","volume":"16","author":"A.H. Lachlan","year":"1966","unstructured":"Lachlan A.H.: Lower bounds for pairs of recursively enumerable degrees. Proc. London Math. Soc. 16(3), 537\u2013569 (1966)","journal-title":"Proc. London Math. Soc."},{"issue":"2","key":"159_CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s00153-004-0250-2","volume":"44","author":"G. LaForte","year":"2005","unstructured":"LaForte G.: Isolation in the CEA hierarchy. Arch. Math. Log. 44(2), 227\u2013244 (2005)","journal-title":"Arch. Math. Log."},{"key":"159_CR7","doi-asserted-by":"crossref","unstructured":"Liu, J., Wang, S., Wu, G.: Infima of d.r.e. degrees (extended abstract). CiE 2009, Lecture Notes in Computer Science, vol. 5635, pp. 332\u2013341 (2009)","DOI":"10.1007\/978-3-642-03073-4_34"},{"key":"159_CR8","volume-title":"Classical recursion theory, Studies in Logic and the Foundations of Mathematics 125","author":"P. Odifreddi","year":"1989","unstructured":"Odifreddi P.: Classical recursion theory, Studies in Logic and the Foundations of Mathematics 125. North-Holland, Amsterdam (1989)"},{"key":"159_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic","author":"R.I. Soare","year":"1987","unstructured":"Soare R.I.: Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic. Springer, Berlin (1987)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0159-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-009-0159-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0159-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:36:43Z","timestamp":1558625803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-009-0159-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,3]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["159"],"URL":"https:\/\/doi.org\/10.1007\/s00153-009-0159-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,3]]}}}