Loading paper
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses | Tomesphere