On "finitary" Ramsey's theorem

Abstract

We examine a version of Ramsey's theorem based on Tao, Gaspar and Kohlenbach's "finitary" infinite pigeonhole principle.We will show that the "finitary" infinite Ramsey's theorem naturally gives rise to statements at the level of the infinite Ramsey's theorem, Friedman's infinite adjacent Ramsey theorem (well-foundedness of certain ordinals up to ${\epsilon }_0$), $1$-consistency of theories up to PA and the finite Ramsey's theorem.

arXiv comment11 pages

Cited by in corpus (2)

• Reverse mathematics of the finite downwards closed subsets of ${\mathbb{N}}^k$ ordered by inclusion and adjacent Ramsey for fixed dimension
• Adjacent Ramsey theory and Higman's lemma