Definability in the lattice of equational theories of semigroups

DOI10.1007/BF02573566zbMath0782.20051OpenAlexW2165925928MaRDI QIDQ1209280

Ralph McKenzie, Jaroslav Jezek

Publication date: 16 May 1993

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

Full work available at URL: https://eudml.org/doc/135231

zbMATH Keywords

free semigroupspartially ordered setsfirst order definabilityfully invariant congruencesword patternsequational theories of finite semigroupsfinitely axiomatizable locally finite theoriesfirst order formulagood sets of equationsideal theorieslattices of equational theories of semigroupstheory of semilattices

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Lattices of varieties (08B15) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Equational classes, universal algebra in model theory (03C05) Model theory of denumerable and separable structures (03C15)

Related Items

The structure and definability in the lattice of equational theories of strongly permutative semigroups ⋮ Definability for equational theories of commutative groupoids ⋮ Special elements of the lattice of epigroup varieties ⋮ Definability in the lattice of equational theories of commutative semigroups ⋮ Complexity in Young's lattice ⋮ Distributive elements of the lattice of semigroup varieties ⋮ On definability in some lattices of semigroup varieties. ⋮ Special elements in the lattice of overcommutative semigroup varieties revisited. ⋮ Proofs of definability of some varieties and sets of varieties of semigroups. ⋮ On modular and cancellable elements of the lattice of semigroup varieties ⋮ Codistributive elements of the lattice of semigroup varieties. ⋮ Upper-modular elements of the lattice of semigroup varieties. II. ⋮ Modular and lower-modular elements of lattices of semigroup varieties. ⋮ On modular and cancellable elements of the lattice of semigroup varieties ⋮ Open questions related to the problem of Birkhoff and Maltsev ⋮ The ordering of commutative terms ⋮ Lattices of semigroup varieties ⋮ Automorphisms of the lattice of equational theories of commutative semigroups ⋮ Cancellable elements of the lattices of varieties of semigroups and epigroups ⋮ Definability in substructure orderings. I: Finite semilattices ⋮ The lattice of varieties of monoids ⋮ Definability in the substructure ordering of simple graphs

Cites Work

• Definability in lattices of equational theoris