The structure and definability in the lattice of equational theories of strongly permutative semigroups

DOI10.1090/S0002-9947-2012-05386-4zbMath1247.03043MaRDI QIDQ2884393

Grech, Mariusz

Publication date: 29 May 2012

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

zbMATH Keywords

first-order definabilitylattice of equational theoriesstrongly permutative semigroup

Mathematics Subject Classification ID

Lattices of varieties (08B15) Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07)

Related Items

On definability in some lattices of semigroup varieties.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definability in the lattice of equational theories of semigroups
• Irreducible varieties of commutative semigroups
• Permutability class of a semigroup
• Finitely generated permutative varieties.
• Bases for equational theories of semi-groups
• The lattice of semigroup varieties
• Semigroups satisfying permutation identities
• Automorphisms of the lattice of equational theories of commutative semigroups
• Some Order Properties of the Lattice of Varieties of Commutative Semigroups
• Definability in lattices of equational theoris
• Varieties of Commutative Semigroups
• Definability in the lattice of equational theories of commutative semigroups
• WELL- AND BETTER-QUASI-ORDERINGS IN THE LATTICE OF VARIETIES OF COMMUTATIVE SEMIGROUPS
• Covering relation for equational theories of commutative semigroups