Отделимые алгоритмические представления классических систем и их приложения

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