On the covering relation in the interpretability lattice of equational theories

DOI10.1007/BF01190449MaRDI QIDQ690111zbMATH OpenOpenAlexFDO

Authors 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 classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Boolean algebras (Boolean rings) (06E99)

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

Cites work

• scientific article; zbMATH DE number 3136700 (Why is no real title available?)
• Interpretations of module varieties
• Remarks and problems on a lattice of equational chapters
• Some very weak identities

Cited in

(6)

• 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
• A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers
• Remarks and problems on a lattice of equational chapters
• scientific article; zbMATH DE number 6851910 (Why is no real title available?)

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)