-
13Binary choice games and arithmetical comprehensionArchive for Mathematical Logic 65 (5): 665-674. 2026.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.