|
Фундаментальная и прикладная математика, 2012, том 17, выпуск 5, страницы 129–146
(Mi fpm1438)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Атомарная теория левого деления двусторонних идеалов полуколец с единицей
А. Е. Пентус, М. Р. Пентус Московский государственный университет им. М. В. Ломоносова
Аннотация:
В статье рассматриваются двусторонние идеалы полуколец с единицей. Изучается теория двусторонних идеалов в сигнатуре, состоящей из двуместного предикатного символа, обозначающего отношение “быть подмножеством”, и двуместного функционального символа, обозначающего левое деление идеалов. Доказывается, что проблема распознавания истинности атомарной формулы этой сигнатуры на всех полукольцах с единицей при всех оценках разрешима за полиномиальное время. Аналогичный результат верен для атомарных формул с правым делением, но без левого деления.
Ключевые слова:
идеал полукольца, исчисление Ламбека.
Образец цитирования:
А. Е. Пентус, М. Р. Пентус, “Атомарная теория левого деления двусторонних идеалов полуколец с единицей”, Фундамент. и прикл. матем., 17:5 (2012), 129–146; J. Math. Sci., 193:4 (2013), 566–579
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm1438 https://www.mathnet.ru/rus/fpm/v17/i5/p129
|
Статистика просмотров: |
Страница аннотации: | 340 | PDF полного текста: | 123 | Список литературы: | 40 | Первая страница: | 2 |
|