ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2000, ТОМ 6, ВЫПУСК 2, СТР. 627-632
М. Р. Пентус
Аннотация
Посмотреть как HTML
Посмотреть как рисунок
Посмотреть в формате LaTeX
Полугруппой с делением называется
частично упорядоченная полугруппа,
снабженная такими бинарными операциями
$ \backslash $ и $ / $ ,
что
утверждения
$ a \leq c / b $ ,
$ a \cdot b \leq c $
и
$ b \leq a \backslash c $
равносильны.
В статье формулируется необходимое и достаточное условие того, что
произвольное множество атомарных формул в сигнатуре
$ \{ \leq , \cdot , \backslash , / \} $
является атомарной теорией некоторого семейства полугрупп с делением.
Также рассматриваются некоторые
конкретные полугруппы с делением
и семейства полугрупп с делением.
Полнотекстовая версия статьи в формате PostScript (38 Kb)
| Главная страница | Содержание журнала | Новости | Поиск |
URL страницы: http://mech.math.msu.su/~fpm/rus/k00/k002/k00220t.htm
Изменения вносились 1 сентября 2000