Turing jumps in the Ershov hierarchy (Q695781): Difference between revisions

In this paper the authors study infinite levels of the Ershov difference hierarchy which are proper for Turing jumps of degrees. It is proved that if a set \(A\) and an ordinal \(\alpha<\omega^{\omega}\) such that \(A'\in\Pi^{-1}_{\alpha}\), then \(A'\in\Delta^{-1}_{\alpha}\), if \(A'\in\Sigma^{-1}_{\omega^n}\), \(n>0\), then \(A'\in\Delta^{-1}_{\omega^n}\), if \(A'\in\Sigma^{-1}_{\omega^nm}\) for some \(m,n>0\), then \(A'\in\Delta^{-1}_{\omega^n}\), and for every \(n>0\) there exists a set \(A\) such that \(A'\in\Delta^{-1}_{\omega^{n+1}}-\Delta^{-1}_{\omega^{n}}\).