Turing jumps in the Ershov hierarchy

Abstract

We look at infinite levels of the Ershov hierarchy in the natural system of notation, which are proper for jumps of sets. It is proved that proper infinite levels for jumps are confined to δa -1-levels, where a stands for an ordinal ωn > 1. © 2011 Springer Science+Business Media, Inc.