A transfinite hierarchy of reals
George Barmpalias · Mathematical logic quarterly · 2003
Abstract We extend the hierarchy defined in [5] to cover all hyperarithmetical reals. An intuitive idea is used or the definition, but a characterization of the related classes is obtained. A hierarchy theorem and two fixed point theorems (concerning computations related to the hierarchy) are presented.