Izvestiya of Saratov University.

Mathematics. Mechanics. Informatics

ISSN 1816-9791 (Print)
ISSN 2541-9005 (Online)


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: 121)
Language: 
Russian
Heading: 
UDC: 
519.4

On Varieties of Partially Ordered Semigroups with Operations of Cylindrification

Autors: 
Bredikhin Dmitry Aleksandrovich, Yuri Gagarin State Technical University of Saratov
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: 
  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.