@phdthesis{Zheng2008, author = {Xizhong Zheng}, title = {Effective Hierarchy of Real Numbers}, type = {doctoralthesis}, pages = {X, 244}, year = {2008}, }