Алгебры Линденбаума и алгоритмические свойства семантических классов моделей и группы автоморфизмов моделей теорий первого порядка
Руководитель проекта: М.Г.Перетятькин
Исполнители проекта: К.Ж.Кудайбергенов
Организация: Ин-т мат.
Инвентарный номер: 0206РК00026
Регистрационный номер: 0103РК00753
Ключевые слова: Алгебра, Линденбаума алгебра, Автоморфизмы, Группы [мат.], Модули [мат.], Математическая логика,
Получена характеризация декартова подобия теорий. Описан тип изоморфизма алгебр Линденбаума некоторых естественных классов моделей. Исследовано возможное число обобщенно генерических автоморфизмов однородной модели. Выявлены связи между однородностью и прямыми слагаемыми модулей. Определены условия, при которых группа автоморфизмов однородной модели имеет свойство малого индекса. Показана возможность приложения методологии предельно конструктивных моделей к исследованию нейронных сетей. Область применения: математическая логика.