ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2006, ТОМ 12, ВЫПУСК 2, СТР. 201-208

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

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

Аннотация

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

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

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

URL страницы: http://mech.math.msu.su/~fpm/rus/k06/k062/k06213h.htm
Изменения вносились 17 июня 2006 г.