Алгебры Линденбаума и алгоритмические свойства семантических классов моделей и группы автоморфизмов моделей теорий первого порядка
Full Name of the work head: М.Г.Перетятькин
Исполнители проекта: К.Ж.Кудайбергенов
: Ин-т мат.
Inventory number: 0208РК00590
Registration number: 0106РК00305
Keywords: Линденбаума алгебра, Алгебра, Автоморфизмы, Группы [мат.],
Изучены свойства операции ограничения обобщенной алгебры Линденбаума на подэлемент. Описана конструкция эффективной универсальной последовательности конечно аксиоматизируемых семантических типов. Получены условия существования или несуществования модельных компаньонов для структур с выделенным автоморфизмом специального вида. Найдены графы с автоморфизмом, имеющие модельный компаньон. Исследованы свойства ассоциативности, коммутативности.
