ҒТА ұлттық қоры / ҒЗЖ туралы есептер

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

Жетекшінің аты-жөні, тегі: Смаилов Е.С.
Work head: Ешкеев А.Р.*
: Институт прикладной математики
Инвентарлық номер: 0213РК01566
Тіркелген номер: 0112РК02755
негізгі сөздер: йонсоновская теория*семантическая модель*совершенная теория*решетка позитивно экзистенциальных формул*позитивно экзистенциально замкнутая модель*форсинг, форкинг, обогащение сигнатуры*алгебраически простая модель*атомная модель*