Large cardinal axioms

GPTKB entity

Statements (62)
Predicate Object
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