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