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