On the covering relation in the interpretability lattice of equational theories
One can consider this paper as a continuation of the paper reviewed above. For a better understanding you should read first the paper just referred to. The author proves that neither the equational theories of bounded distributive lattices nor the equational theories of abelian groups have covers. He mentions that the same results hold for distributive lattices which are bounded from below or which are bounded from above. As a counterpoint he shows that the equational theory of the Boolean algebras does have a cover. It is not nice to blurt out the secret, but one cannot resist the temptation. Actually, he adds to the language \(L= \{+, \cdot,\;', 0, 1\}\) of Boolean algebras two new unary operations \(h_ 1\) and \(h_ 2\), satisfying the equations \(1\approx h_ 1(1)+ h_ 2(1)\) and \(h_ 1(h_ 1(1))\approx h_ 2(h_ 2 (1)) \approx 0\). He observes that this language has no interpretation in the original theory, as it has no two-element model. (It is easy to see that this theory has a four-element model.) He remarks that Jennifer Hyndman extended this result to any finite primal algebra. The author conjectures that no other theory with two-element model has a cover.
- Covering relation in the language of mono-unary algebras with at most one constant symbol
- Non-covering in the interpretability lattice of equational theories
- Remarks and problems on a lattice of equational chapters
- A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers
- Covers of primal varieties
- scientific article; zbMATH DE number 6851910 (Why is no real title available?)
- The existence of finitely based lower covers for finitely based equational theories
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)
