Definability in lattices of equational theoris

DOI10.1016/0003-4843(71)90007-6zbMATH Open0328.02038OpenAlexW2027579376MaRDI QIDQ4093440FDOQ4093440

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)

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

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)