indescribable cardinal axiom

GPTKB entity

Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:Titan
gptkbp:expressedIn existence of a cardinal with indescribability property
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label indescribable cardinal axiom
gptkbp:implies existence of an uncountable regular cardinal with certain reflection properties
gptkbp:introduced gptkb:Reinhardt
gptkbp:powers stronger than inaccessible cardinal axiom
gptkbp:relatedTo gptkb:indescribable_cardinal
gptkbp:usedIn large cardinal theory
gptkbp:bfsParent gptkb:large_cardinal_axioms
gptkbp:bfsLayer 6