Proofs of definability of some varieties and sets of varieties of semigroups

2010/09/07 by Vernikov, B. M.
#08B15 (Secondary) #20M07 (Primary) #FOS: Mathematics #Group Theory (math.GR)

paper · doi:10.48550/arxiv.1009.1239

Abstract

We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties.

Related

• Definability of the variety generated by a commutative monoid in the lattice of commutative semigroup varieties
• Local finiteness for Green relations in (I-)semigroup varieties
• Special elements in lattices of semigroup varieties
• Special elements in the lattice of overcommutative semigroup varieties revisited
• On modular and cancellable elements of the lattice of semigroup\n varieties