Теория компаньонов
Руководитель проекта: Нуртазин Абыз Темиргалиевич
Исполнители проекта:
Организация: Республиканское государственное предприятие "Институт информационных и вычислительных технологий"
Инвентарный номер: 0220РК01670
Регистрационный номер: 0120РК00428
Ключевые слова: классы Фрэсе,модельная полнота,Экзистенциальная замкнутость,индуктивная теория,форсинг-модель,компаньоны,компаньон-теория,компаньон-структура
I. Изучение общих понятий: компаньона данной структуры, компаньон-класса и компаньон-теории.
II. Создание общей теории индуктивных, экзистенциально замкнутых и фосинг-компаньонов.
III. Изучение и классификация компаньон-теорий и экзистенциально замкнутых полей.