Abstract
Assuming that there is no inner model with a Woodin cardinal, we obtain a characterization of λ-tall cardinals in extender models that are iterable. In particular, we prove that in such extender models, a cardinal κ is a tall cardinal if and only if it is either a strong cardinal or a measurable limit of strong cardinals.
Citation
Gabriel Fernandes. Ralf Schindler. "Tall Cardinals in Extender Models." Notre Dame J. Formal Logic 62 (3) 425 - 454, August 2021. https://doi.org/10.1215/00294527-2021-0023
Information