Old Cambridge, Massachusetts, United States of America
•  12
##### Provably games with J. P. Aguilera Journal of Symbolic Logic 85 (3): 1124-1146. 2020.
We isolate two abstract determinacy theorems for games of length $\omega_1$ from work of Neeman and use them to conclude, from large-cardinal 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
•  22