Reinhardt cardinal

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf large cardinal
gptkbp:category gptkb:set_theory
large cardinals
gptkbp:consistencyStatus inconsistent with the axiom of choice
gptkbp:definedIn gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Reinhardt cardinal
gptkbp:introducedIn 1970s
gptkbp:namedAfter gptkb:William_N._Reinhardt
gptkbp:property consistent with ZF
inconsistent with ZFC
is a type of large cardinal
admits a nontrivial elementary embedding of the universe into itself
gptkbp:relatedTo gptkb:Kunen_inconsistency
gptkb:super_Reinhardt_cardinal
Berkeley cardinal
gptkbp:bfsParent gptkb:William_Reinhardt
gptkbp:bfsLayer 6