strongly compact cardinal

GPTKB entity

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