Turing jumps in the Ershov hierarchy (Q695781)

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}}\).