Year: 2019
Type: preprint
Abstract: It is shown that Borel games of length $ω^2$ are determined if, and only if, for every countable ordinal $α$, there is a fine-structural, countably iterable extender model of Zermelo set theory with $α$-many iterated powersets above a limit of Woodin cardinals.
Source: arXiv (Cornell University)
Author: Aguilera, J. P.
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: Austrian Science Fund
OpenAlex ID: W4293455293