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