Long Borel Games

From MaRDI portal



Abstract: It is shown that Borel games of length omega2 are determined if, and only if, for every countable ordinal alpha, there is a fine-structural, countably iterable extender model of Zermelo set theory with alpha-many iterated powersets above a limit of Woodin cardinals.














This page was built for publication: Long Borel Games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6321165)