Definability in the lattice of equational theories of semigroups

DOI10.1007/BF02573566MaRDI QIDQ1209280zbMATH OpenOpenAlexFDO

Authors Ralph McKenzie, Jaroslav Ježek

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

equational theories of finite semigroupsfinitely axiomatizable locally finite theoriesfirst order definabilityfirst order formulafree semigroupsfully invariant congruencesgood sets of equationsideal theorieslattices of equational theories of semigroupspartially ordered setstheory of semilatticesword patterns

Mathematics Subject Classification ID

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

Recommendations

• Definability in the lattice of equational theories of commutative semigroups
• Proofs of definability of some varieties and sets of varieties of semigroups.
• scientific article; zbMATH DE number 3977073
• The structure and definability in the lattice of equational theories of strongly permutative semigroups
• Definability for equational theories of commutative groupoids.

Cites work

• Definability in lattices of equational theoris

Cited in

(29)

• Definability in substructure orderings. I: Finite semilattices
• Modular and lower-modular elements of lattices of semigroup varieties.
• Open questions related to the problem of Birkhoff and Maltsev
• On definability in some lattices of semigroup varieties.
• On modular and cancellable elements of the lattice of semigroup varieties
• A semigroup of theories and its lattice of idempotent elements
• The lattice of varieties of monoids
• Relatively elementary definability of the class of universal graphic semiautomata in the class of semigroups
• Upper-modular elements of the lattice of semigroup varieties. II.
• Definability in the substructure ordering of simple graphs
• Complexity in Young's lattice
• The structure and definability in the lattice of equational theories of strongly permutative semigroups
• Special elements of the lattice of epigroup varieties
• Definability for equational theories of commutative groupoids.
• Lattice definability of semisimple jordan algebras
• Semilattices of Definable Subalgebras
• The ordering of commutative terms
• Automorphisms of the lattice of equational theories of commutative semigroups
• scientific article; zbMATH DE number 3977073 (Why is no real title available?)
• Proofs of definability of some varieties and sets of varieties of semigroups.
• Codistributive elements of the lattice of semigroup varieties.
• Definability in the lattice of equational theories of commutative semigroups
• scientific article; zbMATH DE number 7407017 (Why is no real title available?)
• Cancellable elements of the lattice of semigroup varieties
• Cancellable elements of the lattices of varieties of semigroups and epigroups
• Distributive elements of the lattice of semigroup varieties
• Special elements in the lattice of overcommutative semigroup varieties revisited.
• Semilattices of definable subalgebras. II
• Lattices of semigroup varieties

This page was built for publication: Definability in the lattice of equational theories of semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1209280)