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

DOI10.1007/s00233-012-9377-3zbMath1258.20046arXiv1009.1239OpenAlexW2031467995MaRDI QIDQ444669

Boris M. Vernikov

Publication date: 16 August 2012

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.1239

zbMATH Keywords

lattices of varietiesdefinable semigroup varietiesdefinable sets of varietiesfinitely based semigroup varietiesfirst-order formulae

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Lattices of varieties (08B15) Varieties and pseudovarieties of semigroups (20M07) Other classical first-order model theory (03C68)

Related Items (2)

On definability in some lattices of semigroup varieties. ⋮ The lattice of varieties of monoids

Cites Work

• Distributive elements of the lattice of semigroup varieties
• Lattices of semigroup varieties
• Almost-linear varieties of semigroups
• Definability in the lattice of equational theories of semigroups
• Lower-modular elements of the lattice of semigroup varieties.
• The lattice of semigroup varieties
• Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups.
• Semigroups satisfying permutation identities
• The modularity of the lattice of varieties of completely regular semigroups and related representations
• Commuting Fully Invariant Congruences on free Completely Regular Semigroups
• Automorphisms of the lattice of equational theories of commutative semigroups
• Definability in the lattice of equational theories of commutative semigroups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proofs of definability of some varieties and sets of varieties of semigroups.