TY - JOUR A1 - Zheng, Xizhong T1 - Closure properties on real numbers under limits and computable operators KW - weakly computable reals KW - computable real functions KW - closure properties Y1 - 2002 ER -