Algebras of binary formulas for weakly circularly minimal theories with trivial definable closure: monotonic-to-right case | Sciact - Система учета научной деятельности ИМ СО РАН

Algebras of binary formulas for weakly circularly minimal theories with trivial definable closure: monotonic-to-right case Научная публикация

Журнал

Известия Иркутского государственного университета. Серия: Математика (Bulletin of Irkutsk State University. Series Mathematics)
ISSN: 1997-7670

Вых. Данные

Год: 2026, Том: 55, Страницы: 63-79 Страниц : 17 DOI: 10.26516/1997-7670.2026.55.63

Ключевые слова

алгебра бинарных формул, ℵ0-категоричная теория, слабая циклическая минимальность, циклически упорядоченная структура, ранг выпуклости

Авторы

Алтаева А.Б. ¹ , Кулпешов Б.Ш. ^2,3 , Судоплатов С.В. ^4,5

Организации

1	Международный университет информационных технологий, Алматы, Казахстан
2	Институт математики и математического моделирования МНВО РК, Алматы, Казахстан
3	Казахстанско-Британский технический университет, Алматы, Казахстан
4	Институт математики им. С.Л. Соболева СО РАН, Новосибирск, Российская Федерация
5	Новосибирский государственный технический университет, Новосибирск, Российская Федерация

Информация о финансировании (1)

Министерство науки и высшего образования РФ

FWNF-2026-0032

Изучается понятие слабой циклической минимальности как вариант oминимальности для циклически упорядоченных структур. Рассматривается бинарный уровень этих структур, образующий алгебры бинарных изолирующих формул, которые основаны на семействах меток и композициях относящихся к ним формул. Эти алгебры изучаются для ℵ0-категоричных 1-транзитивных непримитивных слабо циклически минимальных теорий ранга выпуклости больше 1 с тривиальным определимым замыканием, имеющим нетривиальную монотонную вправо функцию к определимому пополнению структуры. На основе исследования представлено описание этих алгебр. Показано, что для данного случая существуют только коммутативные алгебры. Также установлена строгая s-детерминированность таких алгебр для некоторого натурального числа s.

Алтаева А.Б. , Кулпешов Б.Ш. , Судоплатов С.В.
Algebras of binary formulas for weakly circularly minimal theories with trivial definable closure: monotonic-to-right case
Известия Иркутского государственного университета. Серия: Математика (Bulletin of Irkutsk State University. Series Mathematics). 2026. V.55. P.63-79. DOI: 10.26516/1997-7670.2026.55.63 OpenAlex

Поступила в редакцию:	21 февр. 2025 г.
Принята к публикации:	15 апр. 2025 г.
Опубликована в печати:	10 мар. 2026 г.
Опубликована online:	10 мар. 2026 г.

≡ OpenAlex:

W7134907641