Алгебры Линденбаума семантических классов моделей и структура однородных моделей и их автоморфизмов
Руководитель проекта: М.Г.Перетятькин
Исполнители проекта: К.Ж.Кудайбергенов
Организация: Ин-т мат.
Инвентарный номер: 0202РК01141
Регистрационный номер: 0100РК00181
Ключевые слова: Алгебра, Линденбаума алгебра, Логика предикатов, Математическая логика,
Изучены алгоритмические и структурные свойства моделей логики предикатов и алгебр Линденбаума, свойства автоморфизмов однородных моделей. Методами математической логики найдены оценки алгоритмической сложности алгебр Линденбаума семантических классов моделей.