{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:23:20Z","timestamp":1760487800541,"version":"build-2065373602"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T00:00:00Z","timestamp":1745539200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T00:00:00Z","timestamp":1745539200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2025,11]]},"DOI":"10.1007\/s00153-025-00973-6","type":"journal-article","created":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T10:15:09Z","timestamp":1745576109000},"page":"997-1005","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space"],"prefix":"10.1007","volume":"64","author":[{"given":"Joshua A.","family":"Cole","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,25]]},"reference":[{"key":"973_CR1","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1142\/S0219061316500069","volume":"16","author":"A Binns","year":"2016","unstructured":"Binns, A., Shore, R., Simpson, S.: Mass problems and density. J. Math Log. 16, 165\u2013170 (2016)","journal-title":"J. Math Log."},{"key":"973_CR2","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s00153-003-0195-x","volume":"43","author":"S Binns","year":"2004","unstructured":"Binns, S., Simpson, S.: Embeddings into the Medvedev and Muchnik Lattices of $$\\Pi _1^0$$ classes. Arch. Math. Log. 43, 399\u2013414 (2004)","journal-title":"Arch. Math. Log."},{"key":"973_CR3","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/s00153-002-0166-7","volume":"42","author":"D Cenzer","year":"2003","unstructured":"Cenzer, D., Hinman, P.: Density of the Medvedev lattice of $$\\Pi _1^0$$ classes. Arch. Math. Log. 42, 583\u2013600 (2003)","journal-title":"Arch. Math. Log."},{"key":"973_CR4","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s00153-007-0062-2","volume":"46","author":"J Cole","year":"2008","unstructured":"Cole, J.: Embedding $$FD(\\omega )$$ densely in $$\\cal{P} _s$$. Arch. Math. Log. 46, 649\u2013664 (2008)","journal-title":"Arch. Math. Log."},{"key":"973_CR5","unstructured":"Cole, J.: On the elementary theories of the Muchnik and Medvedev lattices of $$\\Pi _1^0$$ classes (PhD thesis). University of Notre Dame, Notre Dame, IN (2010)"},{"key":"973_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00153-009-0150-6","volume":"49","author":"J Cole","year":"2010","unstructured":"Cole, J., Kihara, T.: The $$\\forall \\exists $$-theory of effectively closed Medvedev degrees is decidable. Arch. Math. Log. 49, 1\u201316 (2010)","journal-title":"Arch. Math. Log."},{"key":"973_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1142\/S0219061307000652","volume":"7","author":"J Cole","year":"2008","unstructured":"Cole, J., Simpson, S.: Mass problems and hyperarithmeticity. J. Math. Log. 7, 125\u2013143 (2008)","journal-title":"J. Math. Log."},{"issue":"2","key":"973_CR8","doi-asserted-by":"publisher","first-page":"161","DOI":"10.2178\/bsl\/1333560805","volume":"18","author":"P Hinman","year":"2012","unstructured":"Hinman, P.: A survey of Muchnik and Medvedev degrees. Bull. Symb. Log. 18(2), 161\u2013229 (2012)","journal-title":"Bull. Symb. Log."},{"key":"973_CR9","first-page":"33","volume":"173","author":"C Jockusch","year":"1972","unstructured":"Jockusch, C., Soare, R.: $$\\Pi _1^0$$ classes and degrees of theories. Trans. Am. Math. Soc. 173, 33\u201356 (1972)","journal-title":"Trans. Am. Math. Soc."},{"key":"973_CR10","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s00153-010-0215-6","volume":"50","author":"A Lewis","year":"2011","unstructured":"Lewis, A., Shore, R., Sorbi, A.: Topological aspects of the Medvedev lattice. Arch. Math. Log. 50, 319\u2013340 (2011)","journal-title":"Arch. Math. Log."},{"key":"973_CR11","unstructured":"Lerman, M.: Degrees of Unsolvability. (Perspectives in Logic) Springer-Verlag (1980)"},{"key":"973_CR12","unstructured":"Rogers, H.: Theory of recursive functions and effective computability. MIT Press, Cambridge, MA (1987) First edition: McGraw-Hill (1967)"},{"key":"973_CR13","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1090\/S0002-9939-1958-0095780-7","volume":"9","author":"J Shoenfield","year":"1958","unstructured":"Shoenfield, J.: The class of recursive functions. Proceedings of the American Mathematical Society. 9, 690\u2013692 (1958)","journal-title":"Proceedings of the American Mathematical Society."},{"key":"973_CR14","doi-asserted-by":"crossref","unstructured":"Soare, Robert I.: Recursively Enumerable Sets and Degrees. (Perspectives in Mathematical Logic.) Springer-Verlag, (1987)","DOI":"10.1007\/978-3-662-02460-7"},{"key":"973_CR15","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/j.apal.2011.10.002","volume":"163","author":"P Shafer","year":"2012","unstructured":"Shafer, P.: Coding true arithmetic in the Medvedev degrees of $$\\Pi ^0_1$$ classes. Annals Pure Appl. Log. 163, 321\u2013337 (2012)","journal-title":"Annals Pure Appl. Log."},{"issue":"1","key":"973_CR16","doi-asserted-by":"publisher","first-page":"267","DOI":"10.2178\/jsl\/1294171000","volume":"76","author":"P Shafer","year":"2011","unstructured":"Shafer, P.: Coding true arithmetic in the Medvedev and Muchnik degrees. J. Symb. Log. 76(1), 267\u2013288 (2011)","journal-title":"J. Symb. Log."},{"key":"973_CR17","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s00153-018-0648-x","volume":"58","author":"P Shafer","year":"2019","unstructured":"Shafer, P., Sorbi, A.: Comparing the degrees of enumerability and the closed Medvedev degrees. Arch. Math. Log. 58, 527\u2013542 (2019)","journal-title":"Arch. Math. Log."},{"key":"973_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2178\/bsl\/1107959497","volume":"11","author":"S Simpson","year":"2005","unstructured":"Simpson, S.: Mass problems and randomness. Bull. Symb. Log. 11, 1\u201327 (2005)","journal-title":"Bull. Symb. Log."},{"key":"973_CR19","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1112\/jlms\/jdl015","volume":"75","author":"S Simpson","year":"2007","unstructured":"Simpson, S.: An extension of the recursively enumerable Turing degrees. J. Lond. Math. Society 75, 287\u2013297 (2007)","journal-title":"J. Lond. Math. Society"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00973-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-00973-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00973-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T06:06:47Z","timestamp":1760422007000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-00973-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,25]]},"references-count":19,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2025,11]]}},"alternative-id":["973"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-00973-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2025,4,25]]},"assertion":[{"value":"5 June 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 March 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 April 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}