Statements (91)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Cardinal
gptkb:concept |
| gptkbp:bfsLayer |
7
|
| gptkbp:bfsParent |
gptkb:Yair_Shelah
|
| gptkbp:has_property |
Consistency strength
|
| gptkbp:has_style |
gptkb:Large_cardinal_axiom
gptkb:Large_cardinal_axioms gptkb:Large_cardinal_hierarchy gptkb:Mahlo_cardinal gptkb:Measurable_cardinal gptkb:Strongly_compact_cardinal gptkb:Super_compact_cardinal gptkb:Super_huge_cardinal gptkb:Super_measurable_cardinal gptkb:Vopěnka_cardinal gptkb:Weakly_compact_cardinal gptkb:Woodin_cardinal Large cardinal implications for mathematical advancements Large cardinal implications for mathematical conjectures Large cardinal implications for mathematical problems Large cardinal implications for mathematical theorems Large cardinal implications for mathematical community Large cardinal implications for mathematical theories Large cardinal implications for mathematical proofs Large cardinal implications for mathematical definitions Large cardinal implications for mathematical future Large cardinal implications for mathematical communication Extendible cardinal Huge cardinal Inaccessible cardinal Large cardinal axiomatization Large cardinal classes Large cardinal combinatorics Large cardinal consistency Large cardinal embeddings Large cardinal extensions Large cardinal functions Large cardinal hypothesis Large cardinal implications Large cardinal implications for algebra Large cardinal implications for analysis Large cardinal implications for category theory Large cardinal implications for determinacy Large cardinal implications for forcing Large cardinal implications for large cardinals Large cardinal implications for logic Large cardinal implications for mathematical logic Large cardinal implications for mathematics Large cardinal implications for model theory Large cardinal implications for philosophy Large cardinal implications for set theory Large cardinal implications for topology Large cardinal independence results Large cardinal models Large cardinal models of ZFC Large cardinal properties Large cardinal property Large cardinal relations Large cardinal sequences Large cardinal sets Large cardinal structures Large cardinal theory Large cardinal implications for mathematical collaboration Reflecting cardinal Large cardinal implications for mathematical discoveries Large cardinal implications for mathematical culture Large cardinal implications for mathematical philosophy Large cardinal implications for mathematical research Large cardinal implications for mathematical education Large cardinal implications for mathematical structures Large cardinal implications for mathematical concepts Large cardinal implications for mathematical legacy Large cardinal implications for mathematical history Large cardinal implications for mathematical foundations Large cardinal implications for foundations of mathematics Large cardinal implications for mathematical heritage |
| https://www.w3.org/2000/01/rdf-schema#label |
Large Cardinals
|
| gptkbp:impact |
gptkb:Continuum_Hypothesis
|
| gptkbp:includes |
gptkb:Huge_cardinals
gptkb:Mahlo_cardinals gptkb:Super_huge_cardinals gptkb:Supermeasurable_cardinals gptkb:Weakly_compact_cardinals gptkb:Woodin_cardinals Inaccessible cardinals Measurable cardinals |
| gptkbp:is_characterized_by |
Strong axioms of infinity
|
| gptkbp:is_discussed_in |
Mathematical logic
Set theory literature |
| gptkbp:related_to |
gptkb:Continuum_Hypothesis
Set theory |