@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{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{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{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{WeihrauchZheng, author = {Weihrauch, Klaus and Zheng, Xizhong}, title = {Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions}, series = {Theoretical Computer Science}, volume = {234}, journal = {Theoretical Computer Science}, number = {1-2}, pages = {109 -- 133}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Closure properties of real numbers classes under CBV functions}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Divergence bounded computable real numbers}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {Solovay reducibility on d-c.e. real numbers}, series = {Computing and combinatorics, 11th annual international conference, COCOON 2005, Kunming, China, August 16 - 29, 2005}, booktitle = {Computing and combinatorics, 11th annual international conference, COCOON 2005, Kunming, China, August 16 - 29, 2005}, editor = {Wang, Lusheng}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-28061-3}, pages = {359 -- 368}, language = {en} } @misc{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {A hierarchy of Turing degrees of divergence bounded computable real numbers}, series = {Journal of Complexity}, volume = {22}, journal = {Journal of Complexity}, number = {6}, pages = {818 -- 826}, language = {en} } @article{ChenSuZheng, author = {Chen, Q. and Su, K. and Zheng, Xizhong}, title = {Primitive Recursive Real Numbers}, language = {en} }