Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:axiomatic_system
|
| gptkbp:basedOn |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:consistencyStrength |
greater than ZFC
|
| gptkbp:examplesOfLargeCardinals |
gptkb:huge_cardinal
gptkb:Woodin_cardinal measurable cardinal strong cardinal supercompact cardinal inaccessible cardinal |
| gptkbp:extendsTo |
gptkb:ZFC
|
| gptkbp:includes |
gptkb:Axiom_of_Choice
gptkb:large_cardinal_axiom |
| gptkbp:motive |
analyze strength of mathematical statements
explore consistency and independence results |
| gptkbp:relatedTo |
gptkb:Continuum_Hypothesis
gptkb:descriptive_set_theory consistency proofs forcing inner model theory determinacy |
| gptkbp:status |
not provable in ZFC
widely studied in modern set theory |
| gptkbp:studiedBy |
set theorists
|
| gptkbp:usedIn |
gptkb:logic
gptkb:set_theory |
| gptkbp:bfsParent |
gptkb:ZFC_set_theory
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
ZFC+large cardinal axioms
|