Теория конечных моделей с малым числом базисных отношений
Руководитель проекта: Калимолдаев М.Н.
Исполнители проекта: Нуртазин А.Т., Хисамиев З.Г.
Организация: Институт информационных и вычислительных технологий
Инвентарный номер: 0217РК02008
Регистрационный номер: 0115РК00555
Ключевые слова: Компаньон-классы*компаньон-теории*базисные отношения
Введены новые базисные понятия компаньон-класса и компаньон-теории. Найден критерий счетной категоричности произвольной компаньон-теории. Найдены необходимые и достаточные условия того, чтобы данная теория была элементарной теорией класса своих экзистенциально замкнутых моделей.