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