Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses
classification
🧮 math.LO
keywords
determinacylightfaceomegaboldfaceboldsymbolcardinalsdeltaexistence
read the original abstract
The determinacy of lightface $\Delta^1_{2n+2}$ and boldface $\boldsymbol{\Pi}^1_{2n+1}$ sets implies the existence of an $(\omega, \omega_1)$-iterable $M_{2n+1}^{\#}$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.