Large cardinal hypotheses

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:concerns large cardinals
gptkbp:example gptkb:huge_cardinal
gptkb:Woodin_cardinal
measurable cardinal
strong cardinal
supercompact cardinal
weakly compact cardinal
inaccessible cardinal
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Large cardinal hypotheses
gptkbp:implies consistency strength hierarchy
gptkbp:influenced gptkb:descriptive_set_theory
inner model theory
determinacy hypotheses
gptkbp:motive exploration of infinity
gptkbp:relatedTo gptkb:Zermelo-Fraenkel_set_theory
axiom of choice
gptkbp:status independent of ZFC
gptkbp:studiedBy set theorists
gptkbp:usedIn foundations of mathematics
gptkbp:bfsParent gptkb:Set_theory
gptkbp:bfsLayer 5