On the covering relation in the interpretability lattice of equational theories

DOI10.1007/BF01190449zbMATH Open0802.08005OpenAlexW2025733482MaRDI QIDQ690111FDOQ690111

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

Recommendations

• Non-covering in the interpretability lattice of equational theories
• Covers of primal varieties
• Covering relation in the language of mono-unary algebras with at most one constant symbol
• Covering relation for equational theories of commutative semigroups
• Covers of some varietal products

zbMATH Keywords

Boolean algebrasequational theoriesbalanced equation coveringinterpretability lattice

Mathematics Subject Classification ID

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

Cites Work

• Some very weak identities
• Remarks and problems on a lattice of equational chapters
• Title not available (Why is that?)
• Interpretations of module varieties

Cited In (6)

• Covering relation in the language of mono-unary algebras with at most one constant symbol
• Remarks and problems on a lattice of equational chapters
• A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers
• Title not available (Why is that?)
• Non-covering in the interpretability lattice of equational theories
• Covers of primal varieties

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

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