Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:legislation
|
| gptkbp:bfsLayer |
8
|
| gptkbp:bfsParent |
gptkb:Large_Cardinals
|
| gptkbp:established |
Set-theoretic results
|
| gptkbp:examines |
Mathematicians
Set theorists Philosophers of mathematics Set theory research Set-theoretic studies |
| gptkbp:has_impact_on |
gptkb:Infinity
|
| gptkbp:historical_debate |
Philosophy of mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Large cardinal axiom
|
| gptkbp:is_associated_with |
gptkb:Large_cardinal_axioms
Mathematical theories Infinite combinatorics Consistency strength |
| gptkbp:is_atype_of |
Axiom of infinity
|
| gptkbp:is_connected_to |
gptkb:Zermelo-Fraenkel_set_theory
Mathematical structures Axiomatic set theory Consistency proofs |
| gptkbp:is_considered |
Mathematical proofs
Foundations of mathematics Mathematical frameworks Mathematical discussions Higher set theory |
| gptkbp:is_discussed_in |
Mathematical literature
Mathematical journals Mathematical communities Mathematical seminars Set theory conferences |
| gptkbp:is_explored_in |
Model theory
Set-theoretic topology Set-theoretic foundations Set-theoretic universes |
| gptkbp:is_influential_in |
Mathematical logic
Theoretical mathematics Mathematical research Set-theoretic research |
| gptkbp:is_linked_to |
Mathematical frameworks
Large cardinal properties Mathematical conjectures Mathematical paradoxes |
| gptkbp:is_part_of |
Mathematical foundations
Mathematical discourse Advanced set theory Set-theoretic hierarchy |
| gptkbp:is_related_to |
gptkb:Forcing
Ordinal numbers Cardinal arithmetic Set-theoretic principles |
| gptkbp:is_used_for |
Independence results
|
| gptkbp:is_used_in |
Mathematical logic
Proof theory Set-theoretic analysis |
| gptkbp:proposed_by |
Existence of large cardinals
|
| gptkbp:related_to |
Set theory
|