×

On quasi-identities of relation algebras with Diophantine operations. (English. Russian original) Zbl 0870.08007

Sib. Math. J. 38, No. 1, 23-33 (1997); translation from Sib. Mat. Zh. 38, No. 1, 29-41 (1997).
Let \(\operatorname{Rel}(U)\) denote the set of all binary relations defined on a set \(U\). Consider the set of operations \(F_{\varphi}(r_{1}, \ldots, r_{n}) = (x, y)\), where \(\varphi(x, y, r_{1}, \ldots, r_{n})\) is valid in \(U\) on elements \(x, y\) and relations \(r_{1}, \ldots, r_{n}\). A set of relations \(\Phi \subseteq \operatorname{Rel}(U)\) closed under a set \(\Omega\) of operations defines the relation algebra \((\Phi, \Omega )\). A relation algebra is Diophantine if all its operations are Diophantine (= primitive-positive). Classes of Diophantine relation algebras are studied in the article. Quasi-equational theories of the classes are described and bases of quasi-identities are constructed.

MSC:

08B05 Equational logic, Mal’tsev conditions
08C15 Quasivarieties
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] E. Schröder, Vorlesungen über die Algebra der Logic 3, Algebra und Logic der Relative, Teubner, Leipzig (1895). · JFM 26.0074.01
[2] A. Tarski, ”On the calculus of relations,” J. Symbolic Logic,6, 73–89 (1941). · Zbl 0026.24401 · doi:10.2307/2268577
[3] A. Tarski, ”Some metalogical results concerning the calculus of relations,” J. Symbolic Logic,18, 188–189 (1953).
[4] B. M. Schein, ”Relation algebras and function semigroups,” Semigroup Forum,1, No. 1, 1–62 (1970). · Zbl 0197.29404 · doi:10.1007/BF02573019
[5] B. M. Schein, ”Representation of subreducts of Tarski relation algebras,” Colloq. Math. Soc. János Bolyai,54, 621–635 (1991). · Zbl 0749.03051
[6] D. A. Bredikhin, ”On relation algebras with general superpositions,” Colloq. Math. Soc. János Bolyai,54, 111–124 (1991). · Zbl 0749.03046
[7] B. Jónsson, ”Representation of modular lattices and of relation algebras,” Trans. Amer. Math. Soc.,92, No. 3, 449–464 (1959). · Zbl 0105.25302
[8] B. M. Schein, ”Representation of involuted semigroups by binary relations,” Fund. Math.,82, No. 2, 121–141 (1974). · Zbl 0291.20085
[9] D. A. Bredikhin, ”Representation of ordered involution semigroups,” Izv. Vyssh. Uchebn. Zaved. Mat., No. 7, 19–29 (1975).
[10] D. A. Bredikhin, ”The equational theory of relation algebras with positive operations,” Izv. Vyssh. Uchebn. Zaved. Mat., No. 3, 23–30 (1993). · Zbl 0833.03019
[11] H. Andréka, ”On, union-relation composition reducts of relation algebras,” Abstracts Amer. Math. Soc.,62, No. 2, 174 (1989).
[12] H. Andréka, ”Representations of distributive lattice-ordered semigroups with binary relations,” Algebra Universalis,28, No. 1, 12–25 (1991). · Zbl 0725.06007 · doi:10.1007/BF01190407
[13] D. A. Bredikhin, ”On semigroups of binary relations pointed by universal relations,,” in: Abstracts: The International Conference ”Semigroups and Their Applications Including Semigroup Rings,” St. Petersburg, 1995, pp. 6–7.
[14] H. Andréka and D. A. Bredikhin, ”The equational theory of union-free algebras of relations,” Algebra Universalis,33, No. 4, 516–532 (1995). · Zbl 0826.03013 · doi:10.1007/BF01225472
[15] G. Grätzer, Universal, Algebra, Van Nostrand, Princeton (1968).
[16] A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
[17] A. I. Mal’tsev, ”On some borderline problems of algebra and logic,” in: Abstracts: The International Congress of Mathematicians, Moscow, 1966, pp. 217–231.
[18] Yu. L. Ershov, I. A. Lavrov, A. D. Taîmanov, and M. A. Taîtslin, ”Elementary theories,” Uspekhi Mat. Nauk,20, No. 4, 37–108 (1965). · Zbl 0199.03001
[19] F. Böner and R. Pöschel, ”Clones of operations on binary relations” in: Contibutions to General Algebras, Wien, 1991,7, pp. 50–70.
[20] M. Haiman, ”Proof theory for linar lattices,”, Adv. Math.,58, 209–242 (1985). · Zbl 0584.06003 · doi:10.1016/0001-8708(85)90118-5
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.