ТЕОРЕТИКО-МОДЕЛЬНЫЕ СВОЙСТВА ЙОНСОНОВСКИХ ЛИНЕЙНЫХ ПРОСТРАНТСВ

Abstract

В этой работе представлены новые научные результаты, полученные в рамках теоретико-модельного анализа одного из классических алгебраических объектов — линейных пространств. Исследование выполнено с позиций йонсоновских теорий, которые являются важным направлением в классической теории моделей и тесно связаны с универсальной алгеброй.

Известно, что йонсоновские теории, в отличие от полных теорий, обладают ограниченными средствами исследования. Несмотря на это, в статье установлено, что теория линейных пространств над полем фиксированной характеристики представляет собой совершенную йонсоновскую теорию. Ввиду неполноты этой теории было введено обобщённое определение элементарной эквивалентности для йонсоновских теорий фиксированной сигнатуры, в рамках которого и получены ключевые результаты.

Работа относится к смежной области теории моделей и универсальной алгебры. Линейные пространства хорошо известны в математике и находят применение в алгебре, анализе и других областях. Мы рассматриваем линейные пространства с точки зрения специальных подклассов индуктивных теорий, обладающих хорошими алгебраическими свойствами, но не являющихся полными.