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

АННОТАЦИИ

Когабаев Н. Т. Сложность некоторых естественных проблем на классе вычислимых $I$-алгебр // Том 47 (2006), Номер 2, стр. 352–360
Изучаются вычислимые булевы алгебры с выделенными идеалами (кратко
$I$-алгебры). Доказано, что проблема изоморфизма вычислимых $I$-алгебр
является $\Sigma^1_1$-полной. Показано, что проблема вычислимого изоморфизма
и проблема вычислимой категоричности вычислимых $I$-алгебр являются
$\Sigma^0_3$-полными.
© Сибирский Математический Журнал, 2003-2006