Алгебры Линденбаума и алгоритмические свойства семантических классов моделей и группы автоморфизмов моделей теорий первого порядка
Руководитель проекта: М.Г.Перетятькин
Исполнители проекта: К.Ж.Кудайбергенов
Организация: Ин-т мат.
Инвентарный номер: 0208РК01321
Регистрационный номер: 0106РК00305
Ключевые слова: Алгебра, Линденбаума алгебра, Автоморфизмы, Группы [мат.], Математическая логика, Предикаты,
Изучены свойства операции ограничения обобщенной алгебры Линденбаума на подэлемент. Построена универсальная пследовательность конечно аксиоматизируемых семантических типов. Получена глобальная формула для исчисления предикатов над универсальным списком. Найдены верхние границы числа Ханфа для опускания произвольного семейства типов о-минимальных теорий.