Bastien Mignoty
YOU?
Author Swipe
View article: Carlson-Simpson's lemma and applications in reverse mathematics
Carlson-Simpson's lemma and applications in reverse mathematics Open
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, such as the existence of finite big Ramsey numbers for the tri…