1: \begin{abstract}

2:     We further develop the theory of \textit{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' $\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.

3: \end{abstract}

4: