Равномерность сводимостей проблем представимости алгебраических систем

Найдены достаточные условия для того, чтобы для счетной алгебраической системы $\mathfrak B$, не имеющей степени, существовала счетная система $\mathfrak A$ со следующими свойствами: 1) для каждой изоморфной копии системы $\mathfrak B$ существует сводящаяся к ней по Тьюрингу изоморфная копия системы $\mathfrak A$; 2) не существует равномерной эффективной процедуры порождения копии системы $\mathfrak A$ по заданной копии системы $\mathfrak B$, даже обогащенной произвольным конечным набором констант.