Вычислимая вложимость классов алгебраических структур с отношением конгруэнтности

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