Notre Dame Journal of Formal Logic. Volume 61, Issue 4, November 2020. Pages 573-589.
DOI: 10.1215/00294527-2020-0027. PDF. arXiv. Bibtex.

 @ARTICLE{AM20b,
   AUTHOR= {J. Aguilera and S. Müller},
   TITLE = {Projective games on the reals},
   JOURNAL = {Notre Dame Journal of Formal Logic},
   VOLUME = {61},
   ISSUE = {4},
   YEAR = {2020},
   PAGES = {573-589},
   DOI = {10.1215/00294527-2020-0027},
   EPRINT = {1907.03583}}

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}$.