A finite hierarchy of the recursively enumerable real numbers (1998)

by Klaus Weihrauch, Xizhong Zheng
Venue:In Proceedings of MFCS’98