Results 1 -
2 of
2
On the Turing degrees of weakly computable real numbers
- Journal of Logic and Computation
, 1986
"... The Turing degree of a real number x is defined as the Turing degree of its binary expansion. This definition is quite natural and robust. In this paper we discuss some basic degree properties of semi-computable and weakly computable real numbers introduced by Weihrauch and Zheng [19]. Among others ..."
Abstract
-
Cited by 6 (3 self)
- Add to MetaCart
The Turing degree of a real number x is defined as the Turing degree of its binary expansion. This definition is quite natural and robust. In this paper we discuss some basic degree properties of semi-computable and weakly computable real numbers introduced by Weihrauch and Zheng [19]. Among others we show that, there are two real numbers of c.e. binary expansions such that their difference does not have an ω.c.e. Turing degree. 1
A note on the Turing degree of divergence bounded computable real numbers
- CCA 2004, August 16-20, Lutherstadt
, 2004
"... The Turing degree of a real number is defined as the Turing degree of its binary expansion. In this note we apply the double witnesses technique recently developed by Downey, Wu and Zheng [2] and show that there exists a ∆0 2-Turing degree which contains no divergence bounded computable real numbers ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
The Turing degree of a real number is defined as the Turing degree of its binary expansion. In this note we apply the double witnesses technique recently developed by Downey, Wu and Zheng [2] and show that there exists a ∆0 2-Turing degree which contains no divergence bounded computable real numbers. This extends the result of [2] that not every ∆0 2-Turing degree contains a d-c.e. real.

