Dickson's lemma and weak Ramsey theory
classification
🧮 math.LO
keywords
weakdicksonlemmaramseytheorycascadecolorsconnections
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.