Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
ultrafilter |
| gptkbp:definedIn |
set of natural numbers
|
| gptkbp:field |
gptkb:logic
gptkb:set_theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Ramsey ultrafilter
|
| gptkbp:isA |
gptkb:P-point
gptkb:free_ultrafilter selective ultrafilter |
| gptkbp:namedAfter |
gptkb:Frank_P._Ramsey
|
| gptkbp:property |
every partition of the natural numbers into finitely many pieces has a cell in the ultrafilter that is homogeneous for the partition
|
| gptkbp:relatedTo |
gptkb:Ramsey's_theorem
|
| gptkbp:usedIn |
gptkb:topology
model theory infinite combinatorics |
| gptkbp:bfsParent |
gptkb:Ramsey_theory
|
| gptkbp:bfsLayer |
5
|