Statements (46)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Cardinal
|
| gptkbp:can_be_defined_in_terms_of |
the existence of certain elementary embeddings
|
| gptkbp:can_be_shown_to_exist_under |
certain axioms of set theory
|
| gptkbp:conducts_research_on |
infinite combinatorics
|
| gptkbp:example |
a large cardinal property
|
| gptkbp:has_a_focus_on |
set-theoretic research
|
| gptkbp:has_property |
being a limit of inaccessible cardinals
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mahlo cardinal
|
| gptkbp:is_a_concept_that_arises_in |
the study of infinite sets
|
| gptkbp:is_a_concept_that_can_be_explored_through |
set-theoretic constructions
|
| gptkbp:is_a_foundation_for |
advanced set theory.
|
| gptkbp:is_a_key_component_of |
the study of large cardinals and their properties
|
| gptkbp:is_a_part_of_the_larger_discussion_on |
the nature of infinity
|
| gptkbp:is_a_subject_of |
mathematical logic
set theorists advanced mathematical research philosophical discussions in mathematics |
| 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_defined_by |
the existence of certain types of elementary embeddings
|
| gptkbp:is_explored_in |
the foundations of mathematics
|
| 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 large cardinals like measurable cardinals
|
| gptkbp:is_often_discussed_in |
the axiom of choice
the context of forcing |
| gptkbp:is_often_examined_in_conjunction_with |
other cardinal characteristics
|
| gptkbp:is_part_of |
the larger framework of large cardinal axioms
|
| gptkbp:is_related_to |
gptkb:Set
the hierarchy of large cardinals |
| gptkbp:is_relevant_to |
the study of models of set theory
|
| 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_concept |
the field of mathematical logic
|
| gptkbp:named_after |
Paul Mahlo
|
| gptkbp:strength |
measurable cardinal
weakly compact cardinal |
| gptkbp:topics |
the philosophy of mathematics
|
| gptkbp:type_of |
gptkb:Cardinal
|
| gptkbp:bfsParent |
gptkb:Large_Cardinals
|
| gptkbp:bfsLayer |
9
|