Б. Ш. Кулпешов, “Алгебры бинарных формул для слабо циклически минимальных теорий с тривиальным определимым замыканием”, Сиб. матем. журн., 2024, том 65, номер 2,страницы 318

Алгебры бинарных формул для слабо циклически минимальных теорий с тривиальным определимым замыканием

Б. Ш. Кулпешов^ab

^a Казахстанско-Британский технический университет, ул. Толе би, 59, Алматы 050000, Казахстан
^b Институт математики и математического моделирования, ул. Шевченко, 28, Алматы 050010, Казахстан

Аннотация: Описываются алгебры бинарных формул для счетно категоричных слабо циклически минимальных теорий ранга выпуклости 1, имеющих 1-транзитивную непримитивную группу автоморфизмов и тривиальное определимое замыкание. Найден критерий коммутативности таких алгебр.

Ключевые слова: алгебра бинарных формул, счетно категоричная теория, слабая циклическая минимальность, циклически упорядоченная структура.

УДК: 510.67

MSC: 35R30

Статья поступила: 23.11.2022
Окончательный вариант: 15.05.2023
Принята к печати: 28.01.2024

DOI: 10.33048/smzh.2024.65.207