pith. sign in

arxiv: 1512.02954 · v3 · pith:QMAT5O26new · submitted 2015-12-09 · 🧮 math.LO

Dickson's lemma and weak Ramsey theory

classification 🧮 math.LO
keywords weakdicksonlemmaramseytheorycascadecolorsconnections
0
0 comments X
read the original abstract

We explore the connections between Dickson's lemma and weak Ramsey theory. We show that a weak version of the Paris--Harrington principle for pairs in $c$ colors and miniaturized Dickson's lemma for $c$-tuples are equivalent over $\mathsf{RCA}_0^{\ast}$. Furthermore, we look at a cascade of consequences for several variants of weak Ramsey's theorem.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.