ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2011/2012, ТОМ 17, ВЫПУСК 5, СТР. 129-146

Атомарная теория левого деления двусторонних идеалов полуколец с единицей

А. Е. Пентус
М. Р. Пентус

Аннотация

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

В статье рассматриваются двусторонние идеалы полуколец с единицей. Изучается теория двусторонних идеалов в сигнатуре, состоящей из двуместного предикатного символа, обозначающего отношение "быть подмножеством", и двуместного функционального символа, обозначающего левое деление идеалов. Доказывается, что проблема распознавания истинности атомарной формулы этой сигнатуры на всех полукольцах с единицей при всех оценках разрешима за полиномиальное время. Аналогичный результат верен для атомарных формул с правым делением, но без левого деления.

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

URL страницы: http://mech.math.msu.su/~fpm/rus/k1112/k115/k11508h.htm
Изменения вносились 23 октября 2012 г.