Non-covering in the interpretability lattice of equational theories

DOI10.1007/BF01196089zbMATH Open0802.08004OpenAlexW2072957414MaRDI QIDQ1802249FDOQ1802249

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

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

zbMATH Keywords

balanced equation coveringinterpretability latticebalanced equational theories

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

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

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)