Национальные ресурсы / Отчеты о НИР

Структурные свойства позитивных йонсоновских теорий и их классов экзистенциально замкнутых моделей

Руководитель проекта: Смаилов Е.С.
Исполнители проекта: Ешкеев А.Р.*
Организация: Институт прикладной математики
Инвентарный номер: 0213РК01566
Регистрационный номер: 0112РК02755
Ключевые слова: йонсоновская теория*семантическая модель*совершенная теория*решетка позитивно экзистенциальных формул*позитивно экзистенциально замкнутая модель*форсинг, форкинг, обогащение сигнатуры*алгебраически простая модель*атомная модель*