
12Provably gamesJournal of Symbolic Logic 85 (3): 11241146. 2020.We isolate two abstract determinacy theorems for games of length $\omega_1$ from work of Neeman and use them to conclude, from largecardinal assumptions and an iterability hypothesis in the region of measurable Woodin cardinals thatif the Continuum Hypothesis holds, then all games of length $\omega_1$ which are provably $\Delta_1$ definable from a universally Baire parameter are determined;all games of length $\omega_1$ with payoff constructible relative to the play are determined; andif the C…Read more
Old Cambridge, Massachusetts, United States of America