collaborators

1 paper

math.LO2022

Carlson-Simpson's lemma and applications in reverse mathematics

Paul-Elliot Anglès d'Auriac, Bastien Mignoty, Lu Liu +1

We study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due to Carlson and Simpson. These theorems have multiple applications in Ramsey's theory, suc…