Фундаментальная и прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Фундаментальная и прикладная математика, 2012, том 17, выпуск 5, страницы 129–146 (Mi fpm1438)  

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

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

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

Московский государственный университет им. М. В. Ломоносова
Список литературы:
Аннотация: В статье рассматриваются двусторонние идеалы полуколец с единицей. Изучается теория двусторонних идеалов в сигнатуре, состоящей из двуместного предикатного символа, обозначающего отношение “быть подмножеством”, и двуместного функционального символа, обозначающего левое деление идеалов. Доказывается, что проблема распознавания истинности атомарной формулы этой сигнатуры на всех полукольцах с единицей при всех оценках разрешима за полиномиальное время. Аналогичный результат верен для атомарных формул с правым делением, но без левого деления.
Ключевые слова: идеал полукольца, исчисление Ламбека.
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2013, Volume 193, Issue 4, Pages 566–579
DOI: https://doi.org/10.1007/s10958-013-1483-6
Реферативные базы данных:
Тип публикации: Статья
УДК: 512+510.64
Образец цитирования: А. Е. Пентус, М. Р. Пентус, “Атомарная теория левого деления двусторонних идеалов полуколец с единицей”, Фундамент. и прикл. матем., 17:5 (2012), 129–146; J. Math. Sci., 193:4 (2013), 566–579
Цитирование в формате AMSBIB
\RBibitem{PenPen12}
\by А.~Е.~Пентус, М.~Р.~Пентус
\paper Атомарная теория левого деления двусторонних идеалов полуколец с~единицей
\jour Фундамент. и прикл. матем.
\yr 2012
\vol 17
\issue 5
\pages 129--146
\mathnet{http://mi.mathnet.ru/fpm1438}
\transl
\jour J. Math. Sci.
\yr 2013
\vol 193
\issue 4
\pages 566--579
\crossref{https://doi.org/10.1007/s10958-013-1483-6}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84899407652}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/fpm1438
  • https://www.mathnet.ru/rus/fpm/v17/i5/p129
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Фундаментальная и прикладная математика
    Статистика просмотров:
    Страница аннотации:340
    PDF полного текста:123
    Список литературы:40
    Первая страница:2
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024