Statements (46)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Cardinal
|
| gptkbp:bfsLayer |
8
|
| gptkbp:bfsParent |
gptkb:Large_Cardinals
|
| gptkbp:applies_to |
the study of models of set theory
|
| gptkbp:defines |
the existence of certain types of elementary embeddings
the existence of certain elementary embeddings |
| gptkbp:example |
a large cardinal property
|
| gptkbp:focuses_on |
set-theoretic research
|
| gptkbp:has_ability |
measurable cardinal
weakly compact cardinal |
| gptkbp:has_property |
being a limit of inaccessible cardinals
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mahlo cardinal
|
| gptkbp:is_a_framework_for |
advanced set theory.
|
| gptkbp:is_associated_with |
inaccessibility in set theory
the concept of reflection principles |
| gptkbp:is_characterized_by |
the property of being inaccessible
|
| gptkbp:is_connected_to |
the concept of cardinal arithmetic
|
| gptkbp:is_considered |
a significant concept in set theory
|
| gptkbp:is_discussed_in |
the axiom of choice
the nature of infinity the context of forcing |
| gptkbp:is_explored_in |
the foundations of mathematics
set-theoretic constructions |
| gptkbp:is_involved_in |
the investigation of consistency results
|
| gptkbp:is_linked_to |
the concept of definability in set theory
|
| gptkbp:is_often_compared_to |
other cardinal characteristics
other large cardinals like measurable cardinals |
| gptkbp:is_part_of |
the larger framework of large cardinal axioms
|
| gptkbp:is_related_to |
gptkb:collection
the hierarchy of large cardinals |
| gptkbp:is_standardized_by |
the notion of inaccessible cardinal
|
| gptkbp:is_studied_in |
the continuum hypothesis
the foundations of mathematics |
| gptkbp:is_used_in |
the study of large cardinals
|
| gptkbp:key |
the field of mathematical logic
the study of large cardinals and their properties |
| gptkbp:named_after |
Paul Mahlo
|
| gptkbp:related_concept |
the study of infinite sets
|
| gptkbp:research |
infinite combinatorics
|
| gptkbp:subject |
mathematical logic
the philosophy of mathematics set theorists advanced mathematical research philosophical discussions in mathematics |
| gptkbp:survivability |
certain axioms of set theory
|
| gptkbp:type_of |
gptkb:Cardinal
|