Алгебры Линденбаума семантических классов моделей и структура однородных моделей и их автоморфизмов
Full Name of the work head: М.Г.Перетятькин
Исполнители проекта: К.Ж.Кудайбергенов
: Ин-т мат.
Inventory number: 0202РК01141
Registration number: 0100РК00181
Keywords: Алгебра, Линденбаума алгебра, Логика предикатов, Математическая логика,
Изучены алгоритмические и структурные свойства моделей логики предикатов и алгебр Линденбаума, свойства автоморфизмов однородных моделей. Методами математической логики найдены оценки алгоритмической сложности алгебр Линденбаума семантических классов моделей.
