|
Фундаментальная и прикладная математика, 2016, том 21, выпуск 1, страницы 181–191
(Mi fpm1711)
|
|
|
|
Атомарная теория деления и пересечения двусторонних идеалов полуколец
А. Е. Пентусa, М. Р. Пентусbcad a Московский государственный университет им. М. В. Ломоносова
b Российский государственный гуманитарный университет
c Математический институт им. В.А. Стеклова РАН
d Московский педагогический государственный университет
Аннотация:
В статье рассматриваются двусторонние идеалы полуколец. Изучается теория двусторонних идеалов в сигнатуре, состоящей из предикатного символа $ \subseteq $ и трёх функциональных символов, обозначающих пересечение, правое деление и левое деление идеалов. Доказывается, что множество атомарных формул этой сигнатуры, истинных на всех полукольцах при всех оценках, разрешимо.
Ключевые слова:
идеал полукольца, исчисление Ламбека.
Образец цитирования:
А. Е. Пентус, М. Р. Пентус, “Атомарная теория деления и пересечения двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 21:1 (2016), 181–191; J. Math. Sci., 233:5 (2018), 724–731
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm1711 https://www.mathnet.ru/rus/fpm/v21/i1/p181
|
Статистика просмотров: |
Страница аннотации: | 3392 | PDF полного текста: | 132 | Список литературы: | 37 |
|