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