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