Алгебры Линденбаума семантических классов моделей и структура однородных моделей и их автоморфизмов
Full Name of the work head: Перетятькин М.Г.
Исполнители проекта: К.Ж.Кудайбергенов
: Ин-т мат.
Inventory number: 0201РК00138
Registration number: 0100РК00181
Keywords: Алгебра,
Методами теорий моделей и алгоритмов исследованы семантические классы моделей. Определены условия существования модельного компаньона для классов моделей с выделенным автоморфизмом.
