Possible values for \(2^{\aleph_n}\) and \(2^{\aleph_\omega}\) (Q1377608)

From MaRDI portal
Revision as of 09:05, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Possible values for \(2^{\aleph_n}\) and \(2^{\aleph_\omega}\)
scientific article

    Statements

    Possible values for \(2^{\aleph_n}\) and \(2^{\aleph_\omega}\) (English)
    0 references
    0 references
    0 references
    17 February 1998
    0 references
    Let \(m\) be a natural number with \(m>1\) and let \(\alpha: \omega\to \omega\) be a monotonic function with \(\alpha (n)>n\) for each \(n\). Assuming that \(\kappa\) is a \(P(\kappa)\)-hyper measurable cardinal, the authors build a forcing extension with \(2^{\aleph_n} =\aleph_{\alpha (n)}\) and \(2^{\aleph_\omega} =\aleph_{\omega+n}\). It was shown by Gitik and Magidor that for \(m>2\) this assumption is needed, whereas it can be shown that for \(m=2\) this assumption can be reduced.
    0 references
    generic extension
    0 references
    large cardinals
    0 references
    singular cardinal hypothesis
    0 references
    forcing extension
    0 references
    0 references

    Identifiers