Исследование структурных свойств йонсоновских теорий и элементарной вложимости моделей суперстабильных теорий
Руководитель проекта: А.Р.Ешкеев
Исполнители проекта: Р.М.Оспанов
Организация: Ин-т прикл. мат.
Инвентарный номер: 0206РК00845
Регистрационный номер: 0106РК01138
Ключевые слова: Йонсоновская теория, Суперстабильные теории,
Получены необходимые и достаточные условия нефоркуемости экзистенциональных типов над произвольными подмножествами семантической модели совершенной йонсоновской теории. Центр полной для экзистенциональных предложений йонсоновской теории допускает элиминацию кванторов на языке решеток формул. Определен критерий экзистенциональной замкнутости сигма-категоричного йонсоновского универсала графов.