Definability in lattices of equational theoris

DOI10.1016/0003-4843(71)90007-6MaRDI QIDQ4093440zbMATH OpenOpenAlexFDO

Authors Ralph McKenzie

Publication date 1971

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(71)90007-6

Mathematics Subject Classification ID

Model-theoretic algebra (03C60)

Cited in

(20)

• A property of the lattice of equational theories
• Lattices of equational theories of models
• Structural diversity in the lattice of equational theories
• Further properties of lattices of equational theories
• A field guide to equational logic
• Definability in the lattice of equational theories of semigroups
• Intervals in the lattice of varieties
• Open questions related to the problem of Birkhoff and Maltsev
• Covering in the lattice of equational theories and some properties of term finite theories
• On definability in some lattices of semigroup varieties.
• 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
• Automorphisms of the lattice of equational theories of commutative semigroups
• The contributions of Alfred Tarski to general algebra
• scientific article; zbMATH DE number 3749082 (Why is no real title available?)
• scientific article; zbMATH DE number 3786861 (Why is no real title available?)
• Varieties of algebras with equationally definable zeros
• Definability in the lattice of equational theories of commutative semigroups
• A new product of algebras and a type reduction theorem

This page was built for publication: Definability in lattices of equational theoris

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