English Explanatory Dictionary

Paris-Harrington theorem

English dictionary entry

Meanings

name
  1. 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.

Word forms

Paris-Harrington theorem the Paris-Harrington theorem

Etymology

Named after Jeff Paris and Leo Harrington, who carried out work on this topic.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on P Russian dictionary Dahl dictionary