Long Borel Games

DOI10.1007/S11856-021-2160-YarXiv1906.11757MaRDI QIDQ6321165

Juan P. Aguilera

Publication date: 27 June 2019

Abstract: It is shown that Borel games of length $omeg{a}^2$ 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.

Mathematics Subject Classification ID

Game theory (91Axx) Computability and recursion theory (03Dxx) Set theory (03Exx)

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)