© 2003 by Oxford University Press
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Original Article |
On the Turing Degrees of Weakly Computable Real Numbers
1 Theoretische Informatik, BTU Cottbus, 03044 Cottbus, Germany. E-mail: zheng{at}informatik.tu-cottbus.de
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. 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.
Keywords: Weakly computable real number; Turing degree of real number
Received 17 May 1999.