|
Алгебры бинарных формул для слабо циклически минимальных теорий с тривиальным определимым замыканием
Б. Ш. Кулпешовab a Казахстанско-Британский технический университет, ул. Толе би, 59, Алматы 050000, Казахстан
b Институт математики и математического моделирования, ул. Шевченко, 28, Алматы 050010, Казахстан
Аннотация:
Описываются алгебры бинарных формул для счетно категоричных слабо циклически минимальных теорий ранга выпуклости 1, имеющих 1-транзитивную непримитивную группу автоморфизмов и тривиальное определимое замыкание. Найден критерий коммутативности таких алгебр.
Ключевые слова:
алгебра бинарных формул, счетно категоричная теория, слабая циклическая минимальность, циклически упорядоченная структура.
Статья поступила: 23.11.2022 Окончательный вариант: 15.05.2023 Принята к печати: 28.01.2024
Образец цитирования:
Б. Ш. Кулпешов, “Алгебры бинарных формул для слабо циклически минимальных теорий с тривиальным определимым замыканием”, Сиб. матем. журн., 65:2 (2024), 318–331
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj7857 https://www.mathnet.ru/rus/smj/v65/i2/p318
|
Статистика просмотров: |
Страница аннотации: | 47 | PDF полного текста: | 2 | Список литературы: | 14 | Первая страница: | 9 |
|