Non-covering in the interpretability lattice of equational theories

DOI10.1007/BF01196089MaRDI QIDQ1802249zbMATH OpenOpenAlexFDO

Authors Ralph McKenzie, Stanislaw Świerczkowski

Publication date 12 December 1994

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

balanced equation coveringbalanced equational theoriesinterpretability lattice

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• On the covering relation in the interpretability lattice of equational theories
• Equational Reasoning in Non-Classical Logics
• scientific article; zbMATH DE number 1036757
• Quantifier-free interpolation in combinations of equality interpolating theories
• Further properties of lattices of equational theories
• Lattices of theories in languages without equality
• A note on the interpretability logic of finitely axiomatized theories
• scientific article; zbMATH DE number 1746555
• Some Theorems on the Lattice of Local Interpretability Types
• On equational theories, unification, and (un)decidability

Cites work

• Interpretations of module varieties
• On the covering relation in the interpretability lattice of equational theories
• Remarks and problems on a lattice of equational chapters
• Some very weak identities
• The lattice of interpretability types of varieties

Cited in

(6)

• A field guide to equational logic
• Remarks and problems on a lattice of equational chapters
• Covers of primal varieties
• Interpretability of the Cantor varieties
• Loop conditions
• On the covering relation in the interpretability lattice of equational theories

This page was built for publication: Non-covering 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 Q1802249)