activity
20162022
most citedMilliken's tree theorem and its applications: a computability-theoretic perspective

3 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing 2022 · math.LOShow all

1 paper · 2 filters

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…