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

partially ordered setsfirst order definabilityfree semigroupsfully 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) Equational classes, universal algebra in model theory (03C05) Model theory of denumerable and separable structures (03C15) 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)

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

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)