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