Структурные и алгоритмические свойства моделей полных теорий
Руководитель проекта: Омаров А.И.
Исполнители проекта:
Организация: Каз.гос.нац.ун-т им.Аль-Фараби
Инвентарный номер: 0295РК00108
Регистрационный номер: 0194РК01208
Ключевые слова: теория, модели, алгебра, структура, алгоритмы, теория, модели, алгебра,
Объект исследования: теория моделей и алгебр. Проведены: описание мультипликативных формул, исследование элементарных теорий различных классов алгебраических систем, алгоритмические вопросы элементарных теорий классических алгебр; теоретико-модельные свойства алгебр, полных теорий.