|
Краткие сообщения
Algebras of binary isolating formulas for strong product theories
[Алгебры бинарных изолирующих формул для теорий сильных произведений]
Dmitry Yu. Emel'yanov Novosibirsk State Technical University, Novosibirsk, Russian Federation
Аннотация:
Рассматриваются алгебры бинарных формул для сильных произведений и приводятся таблицы Кэли для этих алгебр. На основе построенных таблиц формулируется теорема, описывающая все алгебры распределений бинарных формул для теорий сильных умножений правильных многоугольников на ребро. Кроме того, показано, что эти алгебры могут быть поглощены симплекс-алгебрами, что упрощает изучение этой теории и связывает ее с другими алгебраическими структурами. Эта концепция является полезным инструментом для понимания отношений между бинарными формулами данной теории.
Ключевые слова:
алгебра бинарных изолирующих формул, сильное произведение, теория моделей, таблицы Кэли.
Поступила в редакцию: 22.03.2023 Исправленный вариант: 17.05.2023 Принята в печать: 30.05.2023
Образец цитирования:
Dmitry Yu. Emel'yanov, “Algebras of binary isolating formulas for strong product theories”, Известия Иркутского государственного университета. Серия Математика, 45 (2023), 138–144
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iigum539 https://www.mathnet.ru/rus/iigum/v45/p138
|
Статистика просмотров: |
Страница аннотации: | 47 | PDF полного текста: | 23 | Список литературы: | 23 |
|