Article contents
Core models in the presence of Woodin cardinals
Published online by Cambridge University Press: 12 March 2014
Abstract
Let 0 < n < ω. If there are n Woodin cardinals and a measurable cardinal above, but 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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2006
References
REFERENCES
- 2
- Cited by