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

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