zbMATH — the first resource for mathematics

A Horn sentence for involution lattices of quasiorders. (English) Zbl 0817.06007
A triplet \({\mathcal L}= (L, \leq, ^{-1})\) is called an involution lattice if \((L, \leq)\) is a lattice and \(^{-1}\) is a lattice automorphism satisfying the identity \((x^{-1})^{-1}= x\). A quasiorder of \(A\) is a reflexive and transitive binary relation on a set \(A\). The quasiorders of a set \(A\) form a lattice \(\text{Quord }A\) with an involution \(\rho\to \rho^{-1}= \{\langle x, y\rangle; \langle y, x\rangle\in \rho\}\). The author gives an explicit Horn sentence which holds in \(\text{Quord }A\) for any set \(A\) but does not hold in all involution lattices. Hence, not every involution lattice can be embedded in \(\text{Quord }A\) for some set \(A\).
Reviewer: I.Chajda (Přerov)

06B15 Representation theory of lattices
06B25 Free lattices, projective lattices, word problems
Full Text: DOI
[1] I. Chajda and G. Cz?dli (1994) Four notes on quasiorder lattices, submitted toMathematica Slovaca.
[2] I. Chajda and A. G. Pinus (1993) On quosiorders of universal algebras,Algebra i Logica 32, 308-325 (in Russian). · Zbl 0824.08002
[3] G. Cz?dli (1991) On word problem of lattices with the help of graphs,Periodica Mathematica Hungarica 23, 49-58. · Zbl 0756.06002
[4] R. A. Dean (1964) Free lattices generated by partially ordered sets and preserving bounds,Canadian J. Math. 16, 136-148. · Zbl 0122.25801
[5] T. Evans (1951) The word problem for abstract algebras,London Math. Soc. 26, 64-71. · Zbl 0042.03303
[6] J. C. C. McKinsey (1943) The decision problem for some classes of sentences without quantifiers,J. Symbolic Logic 8, 61-76. · Zbl 0063.03864
[7] Ph. M. Whitman (1946) Lattices, equivalence relations, and subgruops,Bull. Amer. Math. Soc. 52, 507-522. · Zbl 0060.06505
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.