The reverse mathematics of Carlson's theorem for located words

Tristan Bompard, Lu Liu, Ludovic Patey

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 Hindma…