Binary Choice Games and Arithmetical Comprehension
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.
Publication Details
- Journal
- ArXiv.org
- Published
- 2025-10-14
- Primary Topic
- Prenatal Screening and Diagnostics
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Austrian Science Fund