Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Cardinal
|
| gptkbp:bfsLayer |
8
|
| gptkbp:bfsParent |
gptkb:Large_Cardinals
|
| gptkbp:are |
a type of cardinal number
|
| gptkbp:have |
a rank in the hierarchy of large cardinals
|
| https://www.w3.org/2000/01/rdf-schema#label |
Supermeasurable cardinals
|
| gptkbp:indication |
the existence of measurable cardinals
|
| gptkbp:is_characterized_by |
certain properties of elementary embeddings
|
| gptkbp:is_compared_to |
weakly compact cardinals
|
| gptkbp:is_connected_to |
the concept of large cardinals
|
| gptkbp:is_related_to |
gptkb:collection
|
| gptkbp:is_studied_in |
set-theoretic topology
|
| gptkbp:is_used_in |
mathematical logic
|