Теория индуктивных, экзистенциально замкнутых и форсинг-компаньонов и позитивно экзистенциально замкнутых моделей
Руководитель проекта: Нуртазин Абыз Темиргалиевич
Исполнители проекта:
Организация: Республиканское государственное предприятие "Институт информационных и вычислительных технологий"
Инвентарный номер: 0218РК00575
Регистрационный номер: 0118РК00111
Ключевые слова: Класс Фрэсе,Компаньон, Экзистенциальная замкнутость, Форсинг компаньон,Индуктивный компаньон
Дальнейшее развитие теории экзистенциальной и позитивной экзистенциальной замкнутости и изучение важных сопутствующих понятий таких, как форсинг– и индуктивный компаньоны. Формирование новых направлений и вопросов. Изучение формул и теорий малой кванторной сложности.