Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
large cardinal property
|
| gptkbp:definedIn |
reflection property
|
| gptkbp:describedBy |
gptkb:Jech,_Set_Theory
|
| gptkbp:field |
gptkb:set_theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
indescribable cardinal
|
| gptkbp:introduced |
gptkb:Reinhardt
|
| gptkbp:notation |
Π^m_n-indescribable
|
| gptkbp:stronger_than |
weakly inaccessible cardinal
|
| gptkbp:type |
large cardinal
|
| gptkbp:used_in |
gptkb:set_theory
|
| gptkbp:weaker_than |
measurable cardinal
|
| gptkbp:bfsParent |
gptkb:Mahlo_cardinal
gptkb:indescribable_cardinal_axiom |
| gptkbp:bfsLayer |
7
|