On a class of subsemigroup lattices (Q2202776)

Let \(\mathbf{K}\) be a class of algebraic structures of the same similarity type \(\sigma\), closed under Cartesian products. For \(\mathscr{A}\) in \(\mathbf{K}\), let \(\mathrm{Th}(\mathscr{A})\) be the first-order theory of \(\mathscr{A}\). For \(\mathscr{A}, \mathscr{B} \in \mathbf{K}\), define \(\mathrm{Th}(\mathscr{A}) \ast \mathrm{Th}(\mathscr{B}) = \mathrm{Th}(\mathscr{A} \times \mathscr{B})\). Then \(\langle \{\mathrm{Th}(\mathscr{A}) \mid \mathscr{A} \in \mathbf{K}\}, \ast \rangle\) is a commutative semigroup with a unit called the \emph{semigroup of elementary types of} \(\mathbf{K}\). The author investigates the structure of subsemigroup lattices of semigroups of elementary types. The main result proves that the subsemigroup lattices of semigroups of elementary types are lattice-universal. Then it is also shown that, for a series of classes \(\mathbf{K}\) of algebraic structures, each subsemigroup lattice of the semigroup of elementary types of the structures from \(\mathbf{K}\) contains the ideal lattice of a free lattice of countable rank as a sublattice.