{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:04:02Z","timestamp":1759147442087},"reference-count":13,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2011,7,1]]},"DOI":"10.1215\/00294527-1435429","type":"journal-article","created":{"date-parts":[[2011,7,28]],"date-time":"2011-07-28T17:56:37Z","timestamp":1311875797000},"source":"Crossref","is-referenced-by-count":11,"title":["A Nonstandard Counterpart of WWKL"],"prefix":"10.1215","volume":"52","author":[{"given":"Stephen G.","family":"Simpson","sequence":"first","affiliation":[]},{"given":"Keita","family":"Yokoyama","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Brown, D. K., M. Giusto, and S. G. Simpson, \"Vitali's theorem and WWKL\", <i>Archive for Mathematical Logic<\/i>, vol. 41 (2002), pp. 191\u2013206.","DOI":"10.1007\/s001530100100"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Downey, R., D. R. Hirschfeldt, J. S. Miller, and A. Nies, \"Relativizing Chaitin's halting probability\", <i>Journal of Mathematical Logic<\/i>, vol. 5 (2005), pp. 167\u201392.","DOI":"10.1142\/S0219061305000468"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Keisler, H. J., \"Nonstandard arithmetic and reverse mathematics\", <i>Bulletin of Symbolic Logic<\/i>, vol. 12 (2006), pp. 100\u2013125.","DOI":"10.2178\/bsl\/1140640945"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, Perspectives in Mathematical Logic. Springer-Verlag, 1999. Second Edition, Perspectives in Logic, Association for Symbolic Logic, Cambridge University Press, 2009.","DOI":"10.1007\/978-3-642-59971-2"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Simpson, S. G., \"Almost everywhere domination and superhighness\", <i>Mathematical Logic Quarterly<\/i>, vol. 53 (2007), pp. 462\u201382.","DOI":"10.1002\/malq.200710012"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Simpson, S. G., K. Tanaka, and T. Yamazaki, \"Some conservation results on weak K\u00f6nig's lemma\", <i>Annals of Pure and Applied Logic<\/i>, vol. 118 (2002), pp. 87\u2013114.","DOI":"10.1016\/S0168-0072(01)00121-X"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Tanaka, K., \"The self-embedding theorem of WKL\"$_0$ and a non-standard method. Fifth Asian Logic Conference (Singapore, 1993), <i>Annals of Pure and Applied Logic<\/i>, vol. 84 (1997), pp. 41\u201349.","DOI":"10.1016\/S0168-0072(95)00058-5"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Yokoyama, K., \"Formalizing non-standard arguments in second-order arithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 75 (2010), pp. 1199\u20131210.","DOI":"10.2178\/jsl\/1286198143"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Yu, X., \"Lebesgue convergence theorems and reverse mathematics\", <i>Mathematical Logic Quarterly<\/i>, vol. 40 (1994), pp. 1\u201313.","DOI":"10.1002\/malq.19940400102"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Yu, X., and S. G. Simpson, \"Measure theory and weak K\u00f6nig's lemma\", <i>Archive for Mathematical Logic<\/i>, vol. 30 (1990), pp. 171\u201380.","DOI":"10.1007\/BF01621469"},{"key":"3","unstructured":"[3] Horihata, Y., and K. Yokoyama, \"Nonstandard second-order arithmetic and Riemann's mapping theorem\", in preparation."},{"key":"5","unstructured":"[5] Reimann, J., and T. A. Slaman, \"Measures and their random reals\", Available online at arxiv.org\/abs\/0802.2705, 2008."},{"key":"10","unstructured":"[10] Yokoyama, K., <i>Standard and Non-standard Analysis in Second Order Arithmetic<\/i>, Ph.D. thesis, Tohoku University, 2007. Available as <i>Tohoku Mathematical Publications<\/i> 34, 2009."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1435429","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:40Z","timestamp":1706648260000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-52\/issue-3\/A-Nonstandard-Counterpart-of-WWKL\/10.1215\/00294527-1435429.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,1]]},"references-count":13,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2011,7,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1435429","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2011,7,1]]}}}