Калимуллин И. Ш.
Равномерность сводимостей проблем представимости алгебраических систем
Найдены достаточные условия для того, чтобы для счетной алгебраической системы
, не имеющей степени, существовала счетная система
со следующими свойствами: 1) для каждой изоморфной копии системы
существует сводящаяся к ней по Тьюрингу изоморфная копия системы
; 2) не существует равномерной эффективной процедуры порождения копии системы
по заданной копии системы
, даже обогащенной произвольным конечным набором констант.