Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Cardinal
|
| gptkbp:bfsLayer |
8
|
| gptkbp:bfsParent |
gptkb:Large_Cardinals
|
| gptkbp:has_ability |
inaccessible cardinal
supercompact cardinal |
| gptkbp:has_property |
every set of formulas has a model of a certain size
|
| https://www.w3.org/2000/01/rdf-schema#label |
Strongly compact cardinal
|
| gptkbp:is_a |
gptkb:Cardinal
|
| gptkbp:is_aligned_with |
ZFC axioms
|
| gptkbp:is_atype_of |
large cardinal property
|
| gptkbp:is_characterized_by |
the existence of certain elementary embeddings
|
| gptkbp:is_related_to |
gptkb:collection
|
| gptkbp:is_used_in |
mathematical logic
|