Цель проекта — исследование теоретико-модельных свойств относительно стабильных теорий, в частности, упорядоченно стабильных теорий, а так же в исследовании применения свойств относительно стабильных теорий при исследовании классических алгебраических структур.
