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