|
gptkbp:instanceOf
|
gptkb:Titan
|
|
gptkbp:describes
|
existence of large cardinals
|
|
gptkbp:example
|
gptkb:Ramsey_cardinal
gptkb:huge_cardinal
gptkb:Mahlo_cardinal
gptkb:Woodin_cardinal
measurable cardinal
strong cardinal
supercompact cardinal
weakly compact cardinal
inaccessible cardinal
|
|
gptkbp:field
|
gptkb:set_theory
|
|
gptkbp:implies
|
existence of infinite cardinals with strong properties
|
|
gptkbp:introducedIn
|
20th century
|
|
gptkbp:motive
|
study of infinite sets
|
|
gptkbp:relatedTo
|
gptkb:continuum_hypothesis
gptkb:descriptive_set_theory
axiom of choice
inner model theory
consistency strength
determinacy axioms
|
|
gptkbp:status
|
independent of ZFC
|
|
gptkbp:studiedBy
|
set theorists
|
|
gptkbp:usedIn
|
foundations of mathematics
|
|
gptkbp:bfsParent
|
gptkb:Zermelo–Fraenkel_set_theory_with_large_cardinal_axioms
gptkb:ZFC_with_large_cardinals
gptkb:extendible_cardinal_axiom
gptkb:inaccessible_cardinal_axiom
gptkb:strongly_compact_cardinal_axiom
gptkb:ZFC+large_cardinal_axioms
|
|
gptkbp:bfsLayer
|
8
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
large cardinal axiom
|