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