Ramsey theory for layered semigroups (Q831334)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ramsey theory for layered semigroups |
scientific article |
Statements
Ramsey theory for layered semigroups (English)
0 references
11 May 2021
0 references
Summary: We further develop the theory of layered semigroups, as introduced by \textit{I. Farah} et al. [J. Comb. Theory, Ser. A 98, No. 2, 268--311 (2002; Zbl 0991.05100)], 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' \( \text{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 \textit{T. J. Carlson} et al. [Trans. Am. Math. Soc. 358, No. 7, 3239--3262 (2006; Zbl 1083.05039)]; and a common generalisation of the latter result and Gowers' theorem, which can be proven in our framework.
0 references
Graham-Rothschild theorem
0 references
Hindman's finite sums theorem
0 references
Gowers' \( \text{FIN}_k\) theorem
0 references
0 references
0 references