Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Sandra Müller, Ralf Schindler, W. Hugh Woodin. Mice with finitely many Woodin cardinals from optimal determinacy hypotheses. J. Mathematical Logic, 20(Supplement-1), 2020. [doi]

Abstract

Abstract is missing.