gptkbp:instanceOf
|
gptkb:Titan
Set theory concept
|
gptkbp:consistencyStrength
|
Strictly increases with stronger axioms
|
gptkbp:example
|
gptkb:Mahlo_cardinal_axiom
gptkb:Ramsey_cardinal_axiom
gptkb:Woodin_cardinal_axiom
gptkb:Extendible_cardinal_axiom
gptkb:Huge_cardinal_axiom
gptkb:Inaccessible_cardinal_axiom
gptkb:Indescribable_cardinal_axiom
gptkb:Measurable_cardinal_axiom
gptkb:Reinhardt_cardinal_axiom
gptkb:Strong_cardinal_axiom
gptkb:Supercompact_cardinal_axiom
gptkb:Weakly_compact_cardinal_axiom
0# exists
|
gptkbp:field
|
gptkb:Set_theory
|
https://www.w3.org/2000/01/rdf-schema#label
|
Large cardinal axioms
|
gptkbp:implies
|
The existence of infinite cardinals with strong properties
|
gptkbp:influencedBy
|
gptkb:Kurt_Gödel
gptkb:Paul_Cohen
gptkb:W._Hugh_Woodin
gptkb:Ronald_Jensen
|
gptkbp:motive
|
Study the hierarchy of infinite sets
|
gptkbp:notableFigure
|
gptkb:Jean-Pierre_Serre
gptkb:Kurt_Gödel
gptkb:Paul_Cohen
gptkb:Solomon_Feferman
gptkb:William_Mitchell
gptkb:Andrés_Caicedo
gptkb:Donald_A._Martin
gptkb:John_Steel
gptkb:W._Hugh_Woodin
gptkb:Richard_Laver
gptkb:Matthew_Foreman
gptkb:Kenneth_Kunen
gptkb:Akihiro_Kanamori
gptkb:Józef_Tarski
gptkb:Jindřich_Zapletal
gptkb:Peter_Koellner
gptkb:Menachem_Magidor
gptkb:Ronald_Jensen
gptkb:Sy-David_Friedman
Hugh Woodin
|
gptkbp:purpose
|
Postulate the existence of large cardinals
|
gptkbp:relatedTo
|
gptkb:Continuum_hypothesis
gptkb:Zermelo–Fraenkel_set_theory
gptkb:Axiom_of_choice
gptkb:Determinacy_axioms
gptkb:Inner_model_theory
Descriptive set theory
Forcing
Large cardinal
Hierarchy of consistency strength
Reflection principles
|
gptkbp:status
|
Independent of ZFC
|
gptkbp:studiedBy
|
20th century
|
gptkbp:usedIn
|
gptkb:logic
gptkb:Foundations_of_mathematics
|
gptkbp:bfsParent
|
gptkb:The_foundations_of_mathematics
gptkb:Axiom_of_Constructibility
|
gptkbp:bfsLayer
|
7
|