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}^{\#}\).