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