2 papers
math.LO2026
Hindman's theorem does not code in one application
Lu Liu, Ludovic Patey
We prove that for every non-arithmetic set~ and every arithmetic finite coloring of~, there is an infinite set whose non-empty finite sums o…
math.LO2026
The reverse mathematics of the Ordered Variable Word theorem
Lu Liu, Ludovic Patey
In this article, we study the reverse mathematics of variable word theorems used in the proof of the Dual Ramsey theorem. We prove that the Ordered Variable Word theorem does not i…