Year: 2025
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Institution: TU Wien
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: Austrian Science Fund
OpenAlex ID: W7092114408
Cites:
Cited by:
Related to: