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

АННОТАЦИИ

Фокина Е. Б. Индексные множества разрешимых моделей // Том 48 (2007), Номер 5, стр. 1167–1179
Изучаются индексные множества класса $d$-разрешимых моделей и
класса $d$-разрешимых счетно-категоричных моделей для произвольной
арифметической тьюринговой степени $d$. Доказано, что первое из
них является $m$-полным $\Sigma^{0,d}_3$, а второе --- $m$-полным
$\Sigma^{0,d}_3\setminus\Sigma^{0,d}_3$ в универсальной вычислимой
нумерации вычислимых моделей сигнатуры с одним бинарным
предикатом.
© Сибирский Математический Журнал, 2003-2006