|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Когабаев Н. Т. Сложность некоторых естественных проблем на классе вычислимых $I$-алгебр //
Том 47 (2006), Номер 2,
стр. 352360
Изучаются вычислимые булевы алгебры с выделенными идеалами (кратко $I$-алгебры). Доказано, что проблема изоморфизма вычислимых $I$-алгебр является $\Sigma^1_1$-полной. Показано, что проблема вычислимого изоморфизма и проблема вычислимой категоричности вычислимых $I$-алгебр являются $\Sigma^0_3$-полными.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|