Non-covering in the interpretability lattice of equational theories

DOI10.1007/BF01196089zbMath0802.08004OpenAlexW2072957414MaRDI QIDQ1802249

Stanislaw Świerczkowski, Ralph McKenzie

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 coveringinterpretability latticebalanced equational theories

Mathematics Subject Classification ID

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

Related Items

Covers of primal varieties, Interpretability of the Cantor varieties, Loop conditions

Cites Work

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