Journal of Mathematical Logic

We prove the following result which is due to the third author. Let $n\ge 1$. If ${\mathrm{\Pi }}_n^1$ determinacy and ${\mathrm{\Pi }}_{n+1}^1$ determinacy both hold true and there is no ${\mathrm{\Sigma }}_{n+2}^1$-definable ${\omega }_1$-sequence of pairwise distinct reals, then $M_n^{\#}$ exists and is ${\omega }_1$-iterable. The proof yields that ${\mathrm{\Pi }}_{n+1}^1$ determinacy implies that $M_n^{\#}(x)$ exists and is ${\omega }_1$-iterable for all reals $x$. A consequence is the Determinacy Transfer Theorem for arbitrary $n\ge 1$, namely the statement that ${\mathrm{\Pi }}_{n+1}^1$ determinacy implies ${⅁}^{(n)}(<{\omega }^2-{\mathrm{\Pi }}_1^1)$ determinacy.