Definability in the lattice of equational theories of semigroups

DOI10.1007/BF02573566zbMATH Open0782.20051OpenAlexW2165925928MaRDI QIDQ1209280FDOQ1209280

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

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.

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)

Cites Work

• Definability in lattices of equational theoris

Cited In (28)

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

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)