Теория индуктивных, экзистенциально замкнутых и форсинг-компаньонов и позитивно экзистенциально замкнутых моделей
Full Name of the work head: Нуртазин Абыз Темиргалиевич
Исполнители проекта:
: Республиканское государственное предприятие "Институт информационных и вычислительных технологий"
Inventory number: 0219РК00741
Registration number: 0118РК00111
Keywords: Класс Фрэсе,Компаньон, Экзистенциальная замкнутость, Форсинг компаньон,Индуктивный компаньон
Дальнейшее развитие теории экзистенциальной и позитивной экзистенциальной замкнутости и изучение важных сопутствующих понятий таких, как форсинг– и индуктивный компаньоны. Формирование новых направлений и вопросов. Изучение формул и теорий малой кванторной сложности.
