Recursively enumerable sets and degrees
Recursively enumerable sets and degrees
Computability
Complexity theory of real functions
Complexity theory of real functions
Computable analysis: an introduction
Computable analysis: an introduction
Weakly computable real numbers
Journal of Complexity
A characterization of c.e. random reals
Theoretical Computer Science
A Finite Hierarchy of the Recursively Enumerable Real Numbers
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Closure Properties of Real Number Classes under Limits and Computable Operators
COCOON '00 Proceedings of the 6th Annual International Conference on Computing and Combinatorics
Weakly Computable Real Numbers and Total Computable Real Functions
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
A Note On the Turing Degrees of Divergence Bounded Computable Reals
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
In this paper we discuss some basic properties of computable real functions of bounded variation (CBV-functions for short). Especially, it is shown that the image set of semi-computable real numbers under CBV-functions is a proper subset of the class of weakly computable real numbers; Two applications of CBV-functions to semi-computable real numbers produce the whole closure of semi-computable real numbers under total computable real functions, and the image sets of semi-computable real numbers under monotone computable functions and CBV-functions are different.