TY - RPRT TI - Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses AU - Yizheng Zhu PY - 2016 UR - https://arxiv.org/abs/1610.02352 ID - 1610.02352 ER -