Regularity of ultrafilters and the core model (Q1114680): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Regularity of ultrafilters / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5686047 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3929732 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The core model / rank
 
Normal rank
Property / cites work
 
Property / cites work: The covering lemma for K / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3944594 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The fine structure of the constructible hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly Normal Filters and Irregular Ultrafilters / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strong axioms of infinity and elementary embeddings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonregular Ultrafilters and Large Cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5613932 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a problem of Gillman and Keisler / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5684675 / rank
 
Normal rank

Latest revision as of 12:46, 19 June 2024

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