•  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
    Provably δ1 games
    with J. P. Aguilera
    Journal of Symbolic Logic 1-22. forthcoming.