On the Weak Computability of Continuous Real Functions

Matthew S. Bauer, Xizhong Zheng

In computable analysis, sequences of rational numbers which effectively converge to a real number x are used as the (rho-) names of x. A real number x is computable if it has a com…