Extendible cardinal axiom

GPTKB entity

Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:Titan
gptkbp:concerns extendible cardinals
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Extendible cardinal axiom
gptkbp:implies existence of supercompact cardinals
gptkbp:namedAfter extendible cardinal
gptkbp:powers strong large cardinal axiom
gptkbp:relatedTo gptkb:large_cardinal_axiom
gptkbp:state There exists an extendible cardinal.
gptkbp:usedIn gptkb:set_theory
gptkbp:bfsParent gptkb:Large_cardinal_axioms
gptkbp:bfsLayer 8