Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 1348-1360 |
| Number of pages | 13 |
| Journal | Journal of Symbolic Logic |
| Volume | 80 |
| Issue number | 4 |
| DOIs | |
| State | Published - 22 Dec 2015 |
| Externally published | Yes |
Bibliographical note
Publisher Copyright:© 2015, Association for Symbolic Logic.
Keywords
- Cardinal invariants
- Forcing
- Inner models
- Large cardinals
- Mitchell order
- Splitting number