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