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

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

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


Известия Иркутского государственного университета. Серия Математика:
Год:
Том:
Выпуск:
Страница:
Найти




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

Известия Иркутского государственного университета. Серия «Математика», 2023, том 45, страницы 138–144
DOI: https://doi.org/10.26516/1997-7670.2023.45.138 (Mi iigum539) 		 
Краткие сообщения

Algebras of binary isolating formulas for strong product theories
[Алгебры бинарных изолирующих формул для теорий сильных произведений]

Dmitry Yu. Emel'yanov

Novosibirsk State Technical University, Novosibirsk, Russian Federation
PDF полного текста (649 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.26516/1997-7670.2023.45.138
Аннотация: Рассматриваются алгебры бинарных формул для сильных произведений и приводятся таблицы Кэли для этих алгебр. На основе построенных таблиц формулируется теорема, описывающая все алгебры распределений бинарных формул для теорий сильных умножений правильных многоугольников на ребро. Кроме того, показано, что эти алгебры могут быть поглощены симплекс-алгебрами, что упрощает изучение этой теории и связывает ее с другими алгебраическими структурами. Эта концепция является полезным инструментом для понимания отношений между бинарными формулами данной теории.
Ключевые слова: алгебра бинарных изолирующих формул, сильное произведение, теория моделей, таблицы Кэли.
Финансовая поддержка Номер гранта
Российский научный фонд 22-21-00044
Работа выполнена при финансовой поддержке Российского научного фонда, проект № 22-21-00044.
Поступила в редакцию: 22.03.2023
Исправленный вариант: 17.05.2023
Принята в печать: 30.05.2023
Тип публикации: Статья
УДК: 510.67
MSC: 03C07, 03C60
Язык публикации: английский
Образец цитирования: Dmitry Yu. Emel'yanov, “Algebras of binary isolating formulas for strong product theories”, Известия Иркутского государственного университета. Серия Математика, 45 (2023), 138–144
Цитирование в формате AMSBIB
\RBibitem{Eme23}
\by Dmitry~Yu.~Emel'yanov
\paper Algebras of binary isolating formulas for strong product theories
\jour Известия Иркутского государственного университета. Серия Математика
\yr 2023
\vol 45
\pages 138--144
\mathnet{http://mi.mathnet.ru/iigum539}
\crossref{https://doi.org/10.26516/1997-7670.2023.45.138}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iigum539
  • https://www.mathnet.ru/rus/iigum/v45/p138
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:51
    PDF полного текста:23
    Список литературы:24
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024