ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2000, ТОМ 6, ВЫПУСК 2, СТР. 627-632

Атомарные теории семейств полугрупп с делением

М. Р. Пентус

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

Полугруппой с делением называется частично упорядоченная полугруппа, снабженная такими бинарными операциями $\backslash$ и $/$, что утверждения $a$£ c/b, $a$× b £ c и $b$£ a \ c равносильны. В статье формулируется необходимое и достаточное условие того, что произвольное множество атомарных формул в сигнатуре $\{$£, ×, \, / } является атомарной теорией некоторого семейства полугрупп с делением. Также рассматриваются некоторые конкретные полугруппы с делением и семейства полугрупп с делением.

Полнотекстовая версия статьи в формате PostScript (38 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k00/k002/k00220h.htm
Изменения вносились 1 сентября 2000