ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2009, ТОМ 15, ВЫПУСК 2, СТР. 169-189

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

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

Аннотация

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

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

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

URL страницы: http://mech.math.msu.su/~fpm/rus/k09/k092/k09208h.htm
Изменения вносились 22 декабря 2009 г.