On the covering relation in the interpretability lattice of equational theories (Q690111): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q583252 |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Ervin Fried / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3256249 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interpretations of module varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks and problems on a lattice of equational chapters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some very weak identities / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01190449 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2025733482 / rank | |||
Normal rank |
Latest revision as of 10:17, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the covering relation in the interpretability lattice of equational theories |
scientific article |
Statements
On the covering relation in the interpretability lattice of equational theories (English)
0 references
13 December 1994
0 references
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.
0 references
interpretability lattice
0 references
balanced equation covering
0 references
equational theories
0 references
Boolean algebras
0 references