Paris-Harrington theorem en · PROPN
Etymology
Named after Jeff Paris and Leo Harrington, who carried out work on this topic.
Meanings
- (qualifier:mathematical logic) A theorem stating that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Paris-Harrington theorem | canonical | lexicographic |