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
|