On the covering relation in the interpretability lattice of equational theories

DOI10.1007/BF01190449zbMath0802.08005OpenAlexW2025733482MaRDI QIDQ690111

Ralph McKenzie

Publication date: 13 December 1994

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01190449

zbMATH Keywords

Boolean algebrasequational theoriesbalanced equation coveringinterpretability lattice

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Boolean algebras (Boolean rings) (06E99) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

Covers of primal varieties ⋮ Non-covering in the interpretability lattice of equational theories

Cites Work

• Unnamed Item
• Interpretations of module varieties
• Some very weak identities
• Remarks and problems on a lattice of equational chapters

This page was built for publication: On the covering relation in the interpretability lattice of equational theories