Journal: J. Mathematical Logic

Volume 20, Issue Supplement-1

0 -- 0Sandra Müller, Ralf Schindler, W. Hugh Woodin. Mice with finitely many Woodin cardinals from optimal determinacy hypotheses