|
Фундаментальная и прикладная математика, 2006, том 12, выпуск 2, страницы 201–208
(Mi fpm944)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Атомарная теория деления двусторонних идеалов полуколец
А. Е. Пентус, М. Р. Пентус Московский государственный университет им. М. В. Ломоносова
Аннотация:
В статье рассматриваются двусторонние идеалы полуколец. Изучается теория двусторонних идеалов в сигнатуре, состоящей из предикатного символа $\subseteq$ и двух функциональных символов, обозначающих правое деление и левое деление идеалов. Доказывается, что множество атомарных формул этой сигнатуры, истинных на всех полукольцах при всех оценках, разрешимо.
Ключевые слова:
идеал полукольца, исчисление Ламбека.
Образец цитирования:
А. Е. Пентус, М. Р. Пентус, “Атомарная теория деления двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 12:2 (2006), 201–208; J. Math. Sci., 149:2 (2008), 1176–1181
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm944 https://www.mathnet.ru/rus/fpm/v12/i2/p201
|
|