{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T15:02:49Z","timestamp":1648998169526},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,6,7]],"date-time":"2008-06-07T00:00:00Z","timestamp":1212796800000},"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":[[2008,7]]},"DOI":"10.1007\/s00153-008-0074-6","type":"journal-article","created":{"date-parts":[[2008,6,6]],"date-time":"2008-06-06T07:05:29Z","timestamp":1212735929000},"page":"205-210","source":"Crossref","is-referenced-by-count":1,"title":["Subsystems of second-order arithmetic between RCA0 and WKL0"],"prefix":"10.1007","volume":"47","author":[{"given":"Carl","family":"Mummert","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,6,7]]},"reference":[{"issue":"4","key":"74_CR1","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.2178\/jsl\/1102022212","volume":"69","author":"K. Ambos-Spies","year":"2004","unstructured":"Ambos-Spies K., Kjos-Hanssen B., Lempp S., Slaman T.A.: Comparing DNR and WWKL. J. Symbol. Logic 69(4), 1089\u20131104 (2004)","journal-title":"J. Symbol. Logic"},{"issue":"3","key":"74_CR2","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s00153-003-0195-x","volume":"43","author":"S. Binns","year":"2004","unstructured":"Binns S., Simpson S.G.: Embeddings into the Medvedev and Muchnik lattices of $${\\Pi^0_1}$$ classes. Arch. Math. Logic 43(3), 399\u2013414 (2004)","journal-title":"Arch. Math. Logic"},{"key":"74_CR3","doi-asserted-by":"crossref","unstructured":"Cenzer, D., Jockusch Jr., C.G.: $${\\Pi_1^0}$$ classes\u2014structure and applications. In: Computability theory and its applications (Boulder, CO, 1999), Contemp. Math., vol. 257, pp. 39\u201359. Am. Math. Soc., Providence, RI (2000)","DOI":"10.1090\/conm\/257\/04026"},{"key":"74_CR4","unstructured":"Gr\u00e4tzer, G.: General lattice theory, pure and applied mathematics, vol. 75. Academic Press Inc. (Harcourt Brace Jovanovich Publishers), New York (1978)"},{"key":"74_CR5","first-page":"33","volume":"173","author":"C.G. Jockusch Jr","year":"1972","unstructured":"Jockusch C.G. Jr, Soare R.I.: $${\\Pi_1^0}$$ classes and degrees of theories. Trans. Am. Math. Soc. 173, 33\u201356 (1972)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"74_CR6","doi-asserted-by":"crossref","first-page":"38","DOI":"10.2307\/2275013","volume":"54","author":"M. Mytilinaios","year":"1989","unstructured":"Mytilinaios M.: Finite injury and \u03a31-induction. J. Symbol. Logic 54(1), 38\u201349 (1989)","journal-title":"J. Symbol. Logic"},{"key":"74_CR7","volume-title":"Theory of recursive functions and effective computability, 2nd edn","author":"H. Rogers Jr","year":"1987","unstructured":"Rogers H. Jr: Theory of recursive functions and effective computability, 2nd edn. MIT Press, Cambridge (1987)"},{"key":"74_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59971-2","volume-title":"Subsystems of second order arithmetic. Perspectives in mathematical logic","author":"S.G. Simpson","year":"1999","unstructured":"Simpson S.G.: Subsystems of second order arithmetic. Perspectives in mathematical logic. Springer, Heidelberg (1999)"},{"key":"74_CR9","doi-asserted-by":"crossref","unstructured":"Simpson, S.G.: $${\\Pi^0_1}$$ sets and models of WKL0. In: Reverse mathematics 2001, Lect. Notes Log., pp. 352\u2013378. Assoc. Symbol. Logic, La Jolla, CA (2005)","DOI":"10.1017\/9781316755846.023"},{"issue":"3","key":"74_CR10","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF01621469","volume":"30","author":"X. Yu","year":"1990","unstructured":"Yu X., Simpson S.G.: Measure theory and weak K\u00f6nig\u2019s lemma. Arch. Math. Logic 30(3), 171\u2013 (1990)","journal-title":"Arch. Math. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0074-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0074-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0074-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:36:42Z","timestamp":1558625802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0074-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,7]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["74"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0074-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6,7]]}}}