Определимые отношения в структурах тьюринговых степеней

В работе исследована определимость классов $n$-вычислимо перечислимых (в.п.) множеств и степеней в разностной иерархии Ершова. Установлена определимость в.п. множеств на языке $\subseteq$ на всех конечных уровнях иерархии, а также определимость классов $m$-в.п. степеней во всех более высоких уровнях иерархии. Кроме того, для каждого уровня иерархии найден определимый в нем нетривиальный класс $m$-в.п. степеней.