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