The reverse mathematics of Carlson's theorem for located words

arXiv2208.03152MaRDI QIDQ6407079FDOQ6407079

Authors: Tristan Bompard, Lu Liu, Ludovic Patey 

Publication date: 5 August 2022

Abstract: In this article, we give two proofs of Carlson's theorem for located words in~$mathsf{ACA}_0^{+}$. The first proof is purely combinatorial, in the style of Towsner's proof of Hindman's theorem. The second uses topological dynamics to show that an iterated version of Hindman's theorem for bounded sums implies Carlson's theorem for located words.

This page was built for publication: The reverse mathematics of Carlson's theorem for located words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6407079)