Turing jumps in the Ershov hierarchy
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 <sub>a</sub><sup>-1</sup>-levels, where a stands for an ordinal <sup>n</sup>>1.