- Record: found
- Abstract: found
- Article: found
Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses
Preprint
2016-10-07
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
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}^{\#}\).