Cite this article as:
Bredikhin D. A. On Varieties of Partially Ordered Semigroups with Operations of Cylindrification . Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2009, vol. 9, iss. 3, pp. 3-7. DOI: https://doi.org/10.18500/1816-9791-2009-9-3-3-7
On Varieties of Partially Ordered Semigroups with Operations of Cylindrification
The finite basis of identities of the varieties of the ordered algebras generated by partially ordered semigroups of binary relations with cylindrifications operations is found in this paper.
1. Вагнер В.В. Теория отношений и алгебра частичных преобразований // Теория полугрупп и ее приложения. Саратов, 1965. Вып. 1. С. 3–197.
2. Tarski A. On the calculus of relations // J. Symbolic Logic. 1941. V. 6. P. 73-89.
3. Henkin L., Monk J.D., Tarski A. Cylindric Algebras. North-Holland, Amsterdam, 1971. 311 p.
4. Schein B.M. Relation algebras and function semigroups // Semigroup Forum. 1970. V. 1. P. 1–62.
5. Бредихин Д.А. Эквациональная теория алгебр отношений с позитивными операциями // Изв. вузов. Математика. 1993. № 3. С. 23–30.
6. Andreka H., Bredikhin D.A. The equational theory of union-free algebras of relations // Alg. Univers. 1994. V. 33. P. 12–25.
7. Бредихин Д.А. О квазитождествах алгебр отношений с диофантовыми операциями // Сибирск. мат. журн. 1997. Т. 38. С. 29–41.
8. Бредихин Д.А. Об алгебрах отношений с диофантовыми операциями // Докл. АН. 1998. Т. 360. С. 594– 595.
9. Bredikhin D.A. On varieties of semi-groups of relations with operations of cylindrofication // Contributions to General Algebra. 2005. V. 16. P. 1–6.
10. B¨oner F, P¨oschel F.R. Clones of operations on binary relations // Contributions to general algebras. 1991. V. 7. P. 50–70.
