{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T04:12:32Z","timestamp":1648527152595},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2013,4,23]],"date-time":"2013-04-23T00:00:00Z","timestamp":1366675200000},"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":[[2013,8]]},"DOI":"10.1007\/s00153-013-0336-9","type":"journal-article","created":{"date-parts":[[2013,4,22]],"date-time":"2013-04-22T05:58:11Z","timestamp":1366610291000},"page":"659-666","source":"Crossref","is-referenced-by-count":0,"title":["Program extraction for 2-random reals"],"prefix":"10.1007","volume":"52","author":[{"given":"Alexander P.","family":"Kreuzer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,23]]},"reference":[{"issue":"3","key":"336_CR1","doi-asserted-by":"crossref","first-page":"853","DOI":"10.2178\/jsl\/1344862165","volume":"77","author":"A.P. Kreuzer","year":"2012","unstructured":"Kreuzer A.P., Kohlenbach U.: Term extraction and Ramsey\u2019s theorem for pairs. J. Symb. Log. 77(3), 853\u2013895 (2012). doi: 10.2178\/jsl\/1344862165","journal-title":"J. Symb. Log."},{"issue":"2","key":"336_CR2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1215\/00294527-1715716","volume":"53","author":"A.P. Kreuzer","year":"2012","unstructured":"Kreuzer A.P.: Primitive recursion and the chain antichain principle. Notre Dame J. Formal Log. 53(2), 245\u2013265 (2012). doi: 10.1215\/00294527-1715716","journal-title":"Notre Dame J. Formal Log."},{"issue":"3","key":"336_CR3","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. Log. 30(3), 171\u2013180 (1990). doi: 10.1007\/BF01621469","journal-title":"Arch. Math. Log."},{"issue":"12","key":"336_CR4","doi-asserted-by":"crossref","first-page":"1854","DOI":"10.1016\/j.apal.2012.05.010","volume":"163","author":"J. Avigad","year":"2012","unstructured":"Avigad J., Dean E.T., Rute J.: Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Ann. Pure Appl. Log. 163(12), 1854\u20131864 (2012). doi: 10.1016\/j.apal.2012.05.010","journal-title":"Ann. Pure Appl. Log."},{"issue":"1","key":"336_CR5","doi-asserted-by":"crossref","first-page":"195","DOI":"10.2178\/jsl.7801130","volume":"78","author":"C.J. Conidis","year":"2013","unstructured":"Conidis C.J., Slaman T.A.: Random reals, the rainbow Ramsey theorem, and arithmetic conservation. J. Symb. Log. 78(1), 195\u2013206 (2013). doi: 10.2178\/jsl.7801130","journal-title":"J. Symb. Log."},{"key":"336_CR6","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Higher order reverse mathematics. In: Reverse mathematics 2001, Lect. Notes Log., vol. 21, pp. 281\u2013295. Assoc. Symbol. Log., La Jolla, CA (2005)","DOI":"10.1017\/9781316755846.018"},{"key":"336_CR7","doi-asserted-by":"crossref","unstructured":"Simpson, S.G.: Subsystems of second order arithmetic, second edn. Perspectives in Logic. Cambridge University Press, Cambridge (2009). doi: 10.1017\/CBO9780511581007","DOI":"10.1017\/CBO9780511581007"},{"issue":"3","key":"336_CR8","doi-asserted-by":"crossref","first-page":"1060","DOI":"10.1016\/j.aim.2012.02.025","volume":"230","author":"C. Chong","year":"2012","unstructured":"Chong C., Slaman T.A., Yang Y.: $${\\Pi^0_1}$$ \u2013conservation of combinatorial principles weaker than Ramsey\u2019s theorem for pairs. Adv. Math. 230(3), 1060\u20131077 (2012). doi: 10.1016\/j.aim.2012.02.025","journal-title":"Adv. Math."},{"key":"336_CR9","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S. (ed.): Metamathematical investigation of intuitionistic arithmetic and analysis. Lecture Notes in Mathematics, vol. 344. Springer, Berlin (1973)","DOI":"10.1007\/BFb0066739"},{"key":"336_CR10","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/s001530050104","volume":"37","author":"U. Kohlenbach","year":"1998","unstructured":"Kohlenbach U.: Elimination of Skolem functions for monotone formulas in analysis. Arch. Math. Log. 37, 363\u2013390 (1998). doi: 10.1007\/s001530050104","journal-title":"Arch. Math. Log."},{"key":"336_CR11","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Springer Monographs in Mathematics. Springer Verlag (2008). doi: 10.1007\/978-3-540-77533-1","DOI":"10.1007\/978-3-540-77533-1"},{"key":"336_CR12","unstructured":"Kautz, S.M.: Degrees of random sets. Ph.D. thesis, Cornell University (1991). http:\/\/www.cs.iastate.edu\/~smkautz\/papers\/thesis.pdf"},{"key":"336_CR13","doi-asserted-by":"crossref","unstructured":"Downey, R.G., Hirschfeldt, D.R.: Algorithmic randomness and complexity. Theory and Applications of Computability. Springer, New York (2010). doi: 10.1007\/978-0-387-68441-3","DOI":"10.1007\/978-0-387-68441-3"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0336-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-013-0336-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0336-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T22:15:23Z","timestamp":1562969723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-013-0336-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,23]]},"references-count":13,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["336"],"URL":"https:\/\/doi.org\/10.1007\/s00153-013-0336-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,23]]}}}