Для цитирования:
Бредихин Д. А. О многообразиях упорядоченных полугрупп с операциями цилиндрофикации // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2009. Т. 9, вып. 3. С. 3-7. DOI: 10.18500/1816-9791-2009-9-3-3-7
Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0).
Опубликована онлайн:
31.08.2009
Полный текст:
(downloads: 180)
Язык публикации:
русский
Рубрика:
УДК:
519.4
О многообразиях упорядоченных полугрупп с операциями цилиндрофикации
Авторы:
Бредихин Дмитрий Александрович, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского
Аннотация:
В работе находится конечный базис тождеств многообразий упорядоченных алгебр, порожденных упорядоченными полугруппами бинарных отношений с операциями цилиндрофикации.
Ключевые слова:
Список источников:
- Вагнер В.В. Теория отношений и алгебра частичных преобразований // Теория полугрупп и ее приложения. Саратов, 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.
- 1051 просмотр