@inproceedings{Zheng, author = {Zheng, Xizhong}, title = {A Computability Theory of Real Numbers}, series = {CCA 2008, August 21 - 24, 2008, Hagen, Germany}, booktitle = {CCA 2008, August 21 - 24, 2008, Hagen, Germany}, editor = {Brattka, Vasco}, publisher = {Hagen}, address = {Fernuniv.}, language = {en} } @inproceedings{RettingerZhengGengleretal., author = {Rettinger, Robert and Zheng, Xizhong and Gengler, Romain and Braunm{\"u}hl, Burchard von}, title = {Weakly computable real numbers and total computable real functions}, language = {en} } @inproceedings{ZhengRettinger, author = {Zheng, Xizhong and Rettinger, Robert}, title = {On the extensions of Solovay Reducibility}, language = {en} } @misc{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {On the hierarchy and extension of monotonically computable real numbers}, series = {Journal of Complexity}, volume = {19}, journal = {Journal of Complexity}, number = {5}, issn = {0885-064X}, pages = {672 -- 691}, language = {en} } @misc{AmbosSpiesWeihrauchZheng, author = {Ambos-Spies, Klaus and Weihrauch, Klaus and Zheng, Xizhong}, title = {Weakly computable real numbers}, series = {Journal of Complexity}, volume = {16}, journal = {Journal of Complexity}, number = {4}, issn = {0885-064X}, pages = {676 -- 690}, language = {en} } @misc{ZhengRettinger, author = {Zheng, Xizhong and Rettinger, Robert}, title = {Weak computability and representation of real numbers}, series = {Mathematical Logic Quarterly}, volume = {50}, journal = {Mathematical Logic Quarterly}, number = {4/5}, issn = {0942-5616}, pages = {431 -- 442}, language = {en} } @misc{Zheng, author = {Zheng, Xizhong}, title = {On the Turing degrees of weakly computable real numbers}, series = {Journal of Logic and Computation}, volume = {13}, journal = {Journal of Logic and Computation}, number = {2}, issn = {0955-792X}, pages = {159 -- 172}, language = {en} } @misc{ZhengRettinger, author = {Zheng, Xizhong and Rettinger, Robert}, title = {Effective Jordan decomposition}, series = {Theory of Computing System}, volume = {38}, journal = {Theory of Computing System}, number = {2}, issn = {1432-4350}, pages = {189 -- 209}, language = {en} } @misc{ZhengWeihrauch, author = {Zheng, Xizhong and Weihrauch, Klaus}, title = {The arithmetical hierarchy of real numbers}, series = {Mathematical Logic Quarterly}, volume = {47}, journal = {Mathematical Logic Quarterly}, number = {1}, issn = {0942-5616}, pages = {51 -- 65}, language = {en} } @misc{ChenSuZheng, author = {Chen, Qingliang and Su, Kaile and Zheng, Xizhong}, title = {Primitive Recursiveness of Real Numbers under Different Representations}, series = {Electronic Notes in Theoretical Computer Science}, volume = {167}, journal = {Electronic Notes in Theoretical Computer Science}, issn = {1571-0661}, pages = {303 -- 324}, language = {en} }