СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Калимуллин И. Ш. Равномерность сводимостей проблем представимости алгебраических систем // Том 50 (2009), Номер 2, стр. 334–343
Найдены достаточные условия для того, чтобы для
счетной алгебраической системы $\goth B$, не имеющей степени,
существовала счетная система $\goth A$ со
следующими свойствами:
1)~для каждой изоморфной копии системы $\goth B$ существует
сводящаяся к ней по Тьюрингу изоморфная копия системы $\goth A$;
2)~не существует равномерной эффективной процедуры порождения копии системы
$\goth A$ по заданной копии системы $\goth B$,
даже обогащенной произвольным конечным набором
констант.
© Сибирский Математический Журнал, 2003-2006