Сложность вычислений в алгебраических системах

В работе [1] впервые были рассмотрены вычислимость и сложность вычислений над полями вещественных и комплексных чисел. Этот подход был обобщен для произвольной алгебраической системы в [2]. В данной статье предлагается подход к теории сложности вычислений над произвольной алгебраической системой, в котором в качестве вычислительной модели взята вычислимость над списочной надстройкой, предложенная в [3]. Изучаются получающиеся классы полиномиальной сложности. Приводятся некоторые $NP$-полные проблемы.