Statements (19)
Predicate | Object |
---|---|
gptkbp:instanceOf |
large cardinal
|
gptkbp:consistencyStrength |
between measurable and supercompact cardinals
|
gptkbp:defines |
A cardinal κ is strongly compact if every κ-complete filter can be extended to a κ-complete ultrafilter.
|
gptkbp:field |
gptkb:set_theory
|
https://www.w3.org/2000/01/rdf-schema#label |
strongly compact cardinal
|
gptkbp:implies |
measurable cardinal
weakly compact cardinal |
gptkbp:introduced |
gptkb:Ronald_Jensen
|
gptkbp:isInaccessible |
true
|
gptkbp:isRegular |
true
|
gptkbp:isUncountable |
true
|
gptkbp:isWeakerThan |
measurable cardinal
supercompact cardinal |
gptkbp:limitation |
smaller strongly compact cardinals (if they exist)
|
gptkbp:usedIn |
gptkb:combinatorial_set_theory
model theory infinitary logic |
gptkbp:bfsParent |
gptkb:Zermelo–Fraenkel_set_theory_with_large_cardinal_axioms
|
gptkbp:bfsLayer |
8
|