A transfinite hierarchy of reals


G. Barmpalias

Summary


We extend the arithmetical hierarchy of Weihrauch and Zheng (an extended version of the original arithmetical hierarchy) to cover all hyperarithmetical reals. An intuitive idea is used for its definition, but a characterization of the related classes is obtained. A hierarchy theorem and two fixed point theorems (related to the hierarchy) are presented.