Let k, λ be regular uncountable cardinals such that λ > k+ is not a successor of a singular cardinal of low cofinality. We construct a generic extension with s (k) = λ starting from a ground model in which o(k) = λ and prove that assuming −0¶, s(k) = λ implies that o(k) ≥ λ in the core model.
Bibliographical notePublisher Copyright:
© 2015, Association for Symbolic Logic.
- Cardinal invariants
- Inner models
- Large cardinals
- Mitchell order
- Splitting number