Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
large cardinal
|
| gptkbp:characterizedBy |
partition property
|
| gptkbp:compatibleWith |
gptkb:Mahlo_cardinal
gptkb:Woodin_cardinal measurable cardinal strong cardinal supercompact cardinal weakly inaccessible cardinal |
| gptkbp:hasProperty |
every coloring of finite subsets has a homogeneous set of cardinality κ
|
| gptkbp:hasUltrafilter |
weakly amenable ultrafilter
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ramsey cardinal
|
| gptkbp:introducedIn |
1970s
|
| gptkbp:isA |
cardinal number
|
| gptkbp:isInaccessible |
true
|
| gptkbp:isRegular |
true
|
| gptkbp:isStrongLimit |
true
|
| gptkbp:isUncountable |
true
|
| gptkbp:isWeakerThan |
measurable cardinal
weakly compact cardinal |
| gptkbp:namedAfter |
gptkb:Frank_P._Ramsey
|
| gptkbp:studiedIn |
gptkb:set_theory
|
| gptkbp:bfsParent |
gptkb:Ramsey_theory
|
| gptkbp:bfsLayer |
5
|