Regularity of ultrafilters and the core model (Q1114680)

From MaRDI portal
Revision as of 10:08, 21 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: reviewed by (P1447): Item:Q916652)
scientific article
Language Label Description Also known as
English
Regularity of ultrafilters and the core model
scientific article

    Statements

    Regularity of ultrafilters and the core model (English)
    0 references
    0 references
    1988
    0 references
    This paper contains the following two important results: (1) If there is no model with a measurable cardinal, then every uniform ultrafilter on a singular cardinal is regular. (2) If there is no inner model with a measurable cardinal and \(\kappa >\omega\) is regular with \((\kappa^+)^ K=\kappa^+\), then every uniform ultrafilter on \(\kappa\) is regular. (So in particular, in the core model K, every uniform ultrafilter is regular.) The author introduces certain combinatorial principles, which are strengthenings of \(\square_{\kappa}\). He shows these hold in K. Then from these combinatorial statements he proves the results about uniform ultrafilters.
    0 references
    regular ultrafilter
    0 references
    model with a measurable cardinal
    0 references
    uniform ultrafilter
    0 references
    singular cardinal
    0 references
    inner model
    0 references
    core model
    0 references
    combinatorial principles
    0 references

    Identifiers