2000 character limit reached
Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses
Published 7 Oct 2016 in math.LO | (1610.02352v1)
Abstract: The determinacy of lightface $\Delta1_{2n+2}$ and boldface $\boldsymbol{\Pi}1_{2n+1}$ sets implies the existence of an $(\omega, \omega_1)$-iterable $M_{2n+1}{#}$.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.