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