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