{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T02:58:42Z","timestamp":1780973922826,"version":"3.54.1"},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T00:00:00Z","timestamp":1778284800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T00:00:00Z","timestamp":1778284800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P36837, STA-139"],"award-info":[{"award-number":["P36837, STA-139"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>We prove that Arithmetical Comprehension is equivalent to the determinacy of all clopen integer games in which each player has at most two moves per turn.<\/jats:p>","DOI":"10.1007\/s00153-026-01016-4","type":"journal-article","created":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T05:41:38Z","timestamp":1778305298000},"page":"665-674","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Binary choice games and arithmetical comprehension"],"prefix":"10.1007","volume":"65","author":[{"given":"J. P.","family":"Aguilera","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"T.","family":"Kouptchinsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,9]]},"reference":[{"key":"1016_CR1","first-page":"313","volume":"240","author":"JP Aguilera","year":"2025","unstructured":"Aguilera, J.P.: The Metamathematics of Separated Determinacy. Invent. Math. 240, 313\u2013457 (2025)","journal-title":"Invent. Math."},{"key":"1016_CR2","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1002\/malq.200610041","volume":"53","author":"T Nemoto","year":"2007","unstructured":"Nemoto, T., MedSalem, M.O., Tanaka, K.: Infinite Games in the Cantor Space and Subsystems of Second Order Arithmetic. Math. Log. Q. 53, 226\u2013236 (2007)","journal-title":"Math. Log. Q."},{"key":"1016_CR3","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1002\/malq.200710081","volume":"55","author":"T Nemoto","year":"2009","unstructured":"Nemoto, T.: Determinacy of Wadge classes and subsystems of second order arithmetic. Math. Log. Q. 55, 154\u2013176 (2009)","journal-title":"Math. Log. Q."},{"key":"1016_CR4","doi-asserted-by":"crossref","unstructured":"Simpson, S.: Subsystems of Second-Order Arithmetic (1999)","DOI":"10.1007\/978-3-642-59971-2"},{"key":"1016_CR5","unstructured":"Steel, J. R.: Determinateness and Subsystems of Analysis, Ph.D. Thesis (1977)"},{"key":"1016_CR6","doi-asserted-by":"crossref","unstructured":"Tanaka, ka.: Weak axioms of determinacy and subsystems of analysis I: $$\\Delta _{2}^{0}$$ games. Math. Log. Q. 36, 481\u2013491 (1990)","DOI":"10.1002\/malq.19900360602"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-026-01016-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-026-01016-4","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-026-01016-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T02:22:13Z","timestamp":1780971733000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-026-01016-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,9]]},"references-count":6,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["1016"],"URL":"https:\/\/doi.org\/10.1007\/s00153-026-01016-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,9]]},"assertion":[{"value":"16 October 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 April 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 May 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}