Definability in the lattice of equational theories of commutative semigroups

DOI10.1090/S0002-9947-03-03351-8zbMath1050.08005MaRDI QIDQ4813816

Andrzej P. Kisielewicz

Publication date: 13 August 2004

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

abelian groupsfirst-order logicequational logiclattice theorySchwabauer theories

Mathematics Subject Classification ID

Lattices of varieties (08B15) Varieties and pseudovarieties of semigroups (20M07) Equational classes, universal algebra in model theory (03C05)

Related Items (10)

The structure and definability in the lattice of equational theories of strongly permutative semigroups ⋮ Definability for equational theories of commutative groupoids ⋮ On definability in some lattices of semigroup varieties. ⋮ Proofs of definability of some varieties and sets of varieties of semigroups. ⋮ WELL- AND BETTER-QUASI-ORDERINGS IN THE LATTICE OF VARIETIES OF COMMUTATIVE SEMIGROUPS ⋮ 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 ⋮ Definability in substructure orderings. I: Finite semilattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definability in the lattice of equational theories of semigroups
• Definability in the lattice of ring varieties
• Unification in commutative semigroups
• Irreducible varieties of commutative semigroups
• Bases for equational theories of semi-groups
• Definability in lattices of equational theoris
• Varieties of Commutative Semigroups
• The Lattice of Equational Classes of Commutative Semigroups
• Covering relation for equational theories of commutative semigroups

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