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