Ramsey theory for layered semigroups

Jordan Mitchell Barrett¹

¹Victoria University of Wellington

The electronic journal of combinatorics, Tome 28 (2021) no. 2

Résumé

We further develop the theory of layered semigroups, as introduced by Farah, Hindman and McLeod, providing a general framework to prove Ramsey statements about such a semigroup $S$. By nonstandard and topological arguments, we show Ramsey statements on $S$ are implied by the existence of coherent sequences in $S$. This framework allows us to formalise and prove many results in Ramsey theory, including Gowers' $\mathrm{FIN}_k$ theorem, the Graham–Rothschild theorem, and Hindman's finite sums theorem. Other highlights include: a simple nonstandard proof of the Graham–Rothschild theorem for strong variable words; a nonstandard proof of Bergelson–Blass–Hindman's partition theorem for located variable words, using a result of Carlson, Hindman and Strauss; and a common generalisation of the latter result and Gowers' theorem, which can be proven in our framework.

Détail

DOI : 10.37236/9941

Classification : 05D10, 03H05, 22A20, 54J05, 54D80
Mots-clés : Graham-Rothschild theorem, Hindman's finite sums theorem, Gowers' \( \text{FIN}_k\) theorem