Definability of the variety generated by a commutative monoid in the lattice of commutative semigroup varieties
arXiv:1011.1557
Abstract
Let M be a commutative monoid. We provide an explicit first-order formular that defines the variety generated by M in the lattice of commutative semigroup varieties.
8 pages, 1 figure