{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T07:04:34Z","timestamp":1760425474576},"reference-count":23,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Math. Log."],"published-print":{"date-parts":[[2016,12]]},"abstract":"<jats:p>Recall that [Formula: see text] is the lattice of Muchnik degrees of nonempty effectively compact sets in Euclidean space. We solve a long-standing open problem by proving that [Formula: see text] is dense, i.e. satisfies [Formula: see text]. Our proof combines an oracle construction with hyperarithmetical theory.<\/jats:p>","DOI":"10.1142\/s0219061316500069","type":"journal-article","created":{"date-parts":[[2016,8,31]],"date-time":"2016-08-31T12:23:04Z","timestamp":1472646184000},"page":"1650006","source":"Crossref","is-referenced-by-count":1,"title":["Mass problems and density"],"prefix":"10.1142","volume":"16","author":[{"given":"Stephen","family":"Binns","sequence":"first","affiliation":[{"name":"Department of Mathematics, Statistics, and Physics, College of Arts and Sciences, Qatar University, P.O. Box 2713, Doha, Qatar"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard A.","family":"Shore","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Cornell University, Ithaca, NY 14853, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen G.","family":"Simpson","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Vanderbilt University, Nashville, TN 37240, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2016,12,7]]},"reference":[{"key":"S0219061316500069BIB001","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061315500038"},{"key":"S0219061316500069BIB002","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310034"},{"key":"S0219061316500069BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-002-0166-7"},{"key":"S0219061316500069BIB005","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061307000652"},{"key":"S0219061316500069BIB006","doi-asserted-by":"publisher","DOI":"10.2307\/1969708"},{"key":"S0219061316500069BIB007","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(76)90016-4"},{"key":"S0219061316500069BIB008","series-title":"Lecture Notes in Logic","first-page":"206","volume-title":"Logic Colloquium \u201902","author":"Lempp S.","year":"2006"},{"issue":"4","key":"S0219061316500069BIB009","first-page":"501","volume":"104","author":"Medvedev Y. T.","year":"1955","journal-title":"Dok. Akad. Nauk SSSR (N.S.)"},{"issue":"6","key":"S0219061316500069BIB010","first-page":"1328","volume":"4","author":"Muchnik A. A.","year":"1963","journal-title":"Sibirsk. Mat. Zh."},{"key":"S0219061316500069BIB011","doi-asserted-by":"publisher","DOI":"10.3233\/COM-150042"},{"key":"S0219061316500069BIB012","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1944-08111-1"},{"key":"S0219061316500069BIB013","unstructured":"H. Rogers, Jr., Theory of Recursive Functions and Effective Computability (McGraw-Hill, 1967), XIX + 482 pp."},{"key":"S0219061316500069BIB014","unstructured":"G. E. Sacks, Degrees of Unsolvability, Annals of Mathematics Studies, No. 55 (Princeton University Press, 1963), IX + 174 pp."},{"key":"S0219061316500069BIB015","doi-asserted-by":"publisher","DOI":"10.2307\/1970393"},{"key":"S0219061316500069BIB016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12013-2"},{"key":"S0219061316500069BIB017","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1294171000"},{"key":"S0219061316500069BIB018","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.10.002"},{"key":"S0219061316500069BIB019","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(99)80022-6"},{"key":"S0219061316500069BIB023","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/jdl015"},{"key":"S0219061316500069BIB024","doi-asserted-by":"publisher","DOI":"10.2748\/tmj\/1325886278"},{"key":"S0219061316500069BIB025","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20028-6_9"},{"issue":"3","key":"S0219061316500069BIB026","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1215\/00294527-3507386","volume":"57","author":"Simpson S. G.","year":"2016","journal-title":"Notre Dame J. Formal Logic"},{"key":"S0219061316500069BIB027","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-45.1.161"}],"container-title":["Journal of Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219061316500069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,25]],"date-time":"2020-09-25T17:31:58Z","timestamp":1601055118000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219061316500069"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":23,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2016,12,7]]},"published-print":{"date-parts":[[2016,12]]}},"alternative-id":["10.1142\/S0219061316500069"],"URL":"https:\/\/doi.org\/10.1142\/s0219061316500069","relation":{},"ISSN":["0219-0613","1793-6691"],"issn-type":[{"value":"0219-0613","type":"print"},{"value":"1793-6691","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12]]}}}