Abstract
Let 0 < n <ω. If there are n Woodin cardinals and a measurable cardinal above, but Mn+1# doesn’t exist, then the core model K exists in a sense made precise. An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K.
Citation
Ralf Schindler. "Core models in the presence of Woodin cardinals." J. Symbolic Logic 71 (4) 1145 - 1154, December 2006. https://doi.org/10.2178/jsl/1164060449
Information
