Notre Dame Journal of Formal Logic. Volume 61, Issue 4, November 2020. Pages 573-589.
DOI: 10.1215/00294527-2020-0027. PDF. arXiv.
Bibtex.
Let $M^\sharp_n(\mathbb{R})$ denote the minimal active iterable extender model which has $n$ Woodin cardinals and contains all reals, if it exists, in which case we denote by $M_n(\mathbb{R})$ the class-sized model obtained by iterating the topmost measure of $M_n(\mathbb{R})$ class-many times. We characterize the sets of reals which are $\Sigma_1$-definable from $\mathbb{R}$ over $M_n(\mathbb{R})$, under the assumption that projective games on reals are determined:
- for even $n$, $\Sigma_1^{M_n(\mathbb{R})} = \Game^\mathbb{R}\Pi^1_{n+1}$;
- for odd $n$, $\Sigma_1^{M_n(\mathbb{R})} = \Game^\mathbb{R}\Sigma^1_{n+1}$.
This generalizes a theorem of Martin and Steel for $L(\mathbb{R})$, i.e., the case $n=0$. As consequences of the proof, we see that determinacy of all projective games with moves in $\mathbb{R}$ is equivalent to the statement that $M^\sharp_n(\mathbb{R})$ exists for all $n\in\mathbb{N}$, and that determinacy of all projective games of length $\omega^2$ with moves in $\mathbb{N}$ is equivalent to the statement that $M^\sharp_n(\mathbb{R})$ exists and satisfies AD for all $n\in\mathbb{N}$.