{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:35Z","timestamp":1706649035229},"reference-count":6,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2013,1,1]]},"DOI":"10.1215\/00294527-1960488","type":"journal-article","created":{"date-parts":[[2013,2,21]],"date-time":"2013-02-21T13:56:35Z","timestamp":1361454995000},"source":"Crossref","is-referenced-by-count":0,"title":["Galvin\u2019s \u201cRacing Pawns\u201d Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle"],"prefix":"10.1215","volume":"54","author":[{"given":"Chris","family":"Conidis","sequence":"first","affiliation":[]},{"given":"Noam","family":"Greenberg","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Turetsky","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Gale, D., and F. M. Stewart, \u201cInfinite games with perfect information,\u201d pp. 245\u201366 in <i>Contributions to the Theory of Games, Vol. 2<\/i>, vol. 28of <i>Annals of Mathematics Studies<\/i>, Princeton University Press, Princeton, 1953.","DOI":"10.1515\/9781400881970-014"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Grantham, S. B., \u201cGalvin\u2019s \u2018racing pawns\u2019 game and a well-ordering of trees,\u201d <i>Memoirs of the American Mathematical Society<\/i>, vol. 53 (1985), no. 316.","DOI":"10.1090\/memo\/0316"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Hirst, J. L., \u201cReverse mathematics and ordinal suprema,\u201d pp. 235\u201343 in <i>Reverse Mathematics 2001<\/i>, vol. 21 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, Calif., 2005.","DOI":"10.1017\/9781316755846.015"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Montalb\u00e1n, A., \u201cIndecomposable linear orderings and hyperarithmetic analysis,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 6 (2006), pp. 89\u2013120.","DOI":"10.1142\/S0219061306000517"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Montalb\u00e1n, A., and R. A. Shore, \u201cThe limits of determinacy in second-order arithmetic,\u201d <i>Proceedings of the London Mathematical Society (3)<\/i>, vol. 104 (2012), pp. 223\u201352.","DOI":"10.1112\/plms\/pdr022"},{"key":"6","unstructured":"[6] Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, 2nd edition, <i>Perspectives in Logic<\/i>, Cambridge University Press, Cambridge, 2009."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1960488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:05Z","timestamp":1706648285000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-54\/issue-2\/Galvins-Racing-Pawns-Game-Internal-Hyperarithmetic-Comprehension-and-the-Law\/10.1215\/00294527-1960488.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":6,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2013,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1960488","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}