Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Abstract

The determinacy of lightface ${\Delta }_{2n+2}^1$ and boldface ${\mathbf{\Pi }}_{2n+1}^1$ sets implies the existence of an $(\omega ,{\omega }_1)$-iterable $M_{2n+1}^{\#}$.

12 pages