Алгебры Линденбаума семантических классов моделей и структура однородных моделей и их автоморфизмов
Руководитель проекта: Перетятькин М.Г.
Исполнители проекта: К.Ж.Кудайбергенов
Организация: Ин-т мат.
Инвентарный номер: 0201РК00138
Регистрационный номер: 0100РК00181
Ключевые слова: Алгебра,
Методами теорий моделей и алгоритмов исследованы семантические классы моделей. Определены условия существования модельного компаньона для классов моделей с выделенным автоморфизмом.