inaccessible cardinal hypothesis
GPTKB entity
Statements (10)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:concerns |
existence of inaccessible cardinals
|
gptkbp:field |
gptkb:set_theory
|
https://www.w3.org/2000/01/rdf-schema#label |
inaccessible cardinal hypothesis
|
gptkbp:implies |
existence of large cardinals
|
gptkbp:namedFor |
set theorists
|
gptkbp:relatedTo |
inaccessible cardinal
|
gptkbp:status |
independent of ZFC
|
gptkbp:bfsParent |
gptkb:large_cardinal_hypotheses
|
gptkbp:bfsLayer |
8
|