large cardinal axioms

GPTKB entity

Statements (44)
Predicate Object
gptkbp:instanceOf gptkb:Titan
set theory concept
gptkbp:consistencyStrength higher than ZFC
gptkbp:example gptkb:Erdős_cardinal_axiom
gptkb:Mahlo_cardinal_axiom
gptkb:Ramsey_cardinal_axiom
gptkb:Vopěnka_cardinal_axiom
gptkb:Woodin_cardinal_axiom
gptkb:extendible_cardinal_axiom
gptkb:huge_cardinal_axiom
gptkb:inaccessible_cardinal_axiom
gptkb:indescribable_cardinal_axiom
gptkb:ineffable_cardinal_axiom
gptkb:measurable_cardinal_axiom
gptkb:strongly_compact_cardinal_axiom
gptkb:subtle_cardinal_axiom
gptkb:supercompact_cardinal_axiom
gptkb:weakly_compact_cardinal_axiom
0# exists
strong cardinal axiom
superstrong cardinal axiom
gptkbp:field gptkb:mathematics
gptkb:set_theory
gptkbp:firstAppearance 20th century
https://www.w3.org/2000/01/rdf-schema#label large cardinal axioms
gptkbp:implies the existence of infinite cardinals with strong properties
gptkbp:motive explore the hierarchy of infinite cardinalities
analyze the structure of the set-theoretic universe
gptkbp:namedFor set theorists
gptkbp:purpose postulate the existence of large cardinals
gptkbp:relatedTo gptkb:continuum_hypothesis
gptkb:Gödel's_constructible_universe
axiom of choice
forcing
large cardinal
consistency strength hierarchy
gptkbp:status consistent with ZFC (if ZFC is consistent)
not provable in ZFC
gptkbp:usedIn gptkb:descriptive_set_theory
independence proofs
inner model theory
determinacy results
gptkbp:bfsParent gptkb:Zermelo-Fraenkel_set_theory
gptkbp:bfsLayer 5