For citation:
Bredikhin D. A. On Varieties of Partially Ordered Semigroups with Operations of Cylindrification. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2009, vol. 9, iss. 3, pp. 3-7. DOI: 10.18500/1816-9791-2009-9-3-3-7
This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0).
Published online:
31.08.2009
Full text:
(downloads: 164)
Language:
Russian
Heading:
UDC:
519.4
On Varieties of Partially Ordered Semigroups with Operations of Cylindrification
Autors:
Bredikhin Dmitry Aleksandrovich, Saratov State University
Abstract:
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.
References:
- Вагнер В.В. Теория отношений и алгебра частичных преобразований // Теория полугрупп и ее приложения. Саратов, 1965. Вып. 1. С. 3–197.
- Tarski A. On the calculus of relations // J. Symbolic Logic. 1941. V. 6. P. 73-89.
- Henkin L., Monk J.D., Tarski A. Cylindric Algebras. North-Holland, Amsterdam, 1971. 311 p.
- Schein B.M. Relation algebras and function semigroups // Semigroup Forum. 1970. V. 1. P. 1–62.
- Бредихин Д.А. Эквациональная теория алгебр отношений с позитивными операциями // Изв. вузов. Математика. 1993. № 3. С. 23–30.
- Andreka H., Bredikhin D.A. The equational theory of union-free algebras of relations // Alg. Univers. 1994. V. 33. P. 12–25.
- Бредихин Д.А. О квазитождествах алгебр отношений с диофантовыми операциями // Сибирск. мат. журн. 1997. Т. 38. С. 29–41.
- Бредихин Д.А. Об алгебрах отношений с диофантовыми операциями // Докл. АН. 1998. Т. 360. С. 594– 595.
- Bredikhin D.A. On varieties of semi-groups of relations with operations of cylindrofication // Contributions to General Algebra. 2005. V. 16. P. 1–6.
- B¨oner F, P¨oschel F.R. Clones of operations on binary relations // Contributions to general algebras. 1991. V. 7. P. 50–70.
- 1016 reads