Abstract:A real is called recursively enumerable if it can be approximated by an increasing, recursive sequence of rationals. The halting probability of a universal selfdelimiting Turing machine (Chaitin's number, [10]) is a random r.e. real. Solovay's [25] -like reals are also random r.e. reals. Solovay showed that any Chaitin number is -like. In this paper we show that the converse implication is true as well: any -like real in the unit interval is the halting probability of a universal self-delimiting Turing machine. Following Solovay [25] and Chaitin [11] we say that an r.e. real dominates an r.e. real if from a good approximation of from below one can compute a good approximation of from below. We shall study this relation and characterize it in terms of relations between r.e. sets. -like numbers are the maximal r.e. real numbers with respect to this order, that is, from a good approximation to an -like real one can compute a good approximation for every r.e. real. This property shows the strength of for approximation purposes. However, the situation is radically di erent if one wishes to compute digits of the binary expansion of an r.e. real: one cannot compute with a total recursive function the rst n digits of the r.e. real 0: K (the characteristic sequence of the halting problem) from the rst g(n) digits of , for any total recursive function g. The rst and third authors were partially supported by AURC A18/XXXXX/62090/F3414056, 1996. The second author was supported by DFG Research Grant No. HE 2489/2-1, and the fourth author was supported by a UARC Post-Doctoral Fellowship.

Reordered Computable Numbers

Nearly Computable Real Numbers

Degree-Theoretic Aspects of Computably Enumerable Reals

Equivalence of Countable and Computable

Generically Computable Linear Orderings

On Non-principal Arithmetical Numberings and Families

Series Recursively Enumerable Reals and Chaitin Numbers

Real-Time Computability of Real Numbers by Chemical Reaction Networks

On representations of real numbers and the computational complexity of converting between such representations

Recursively enumerable reals and Chaitin numbers

Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis

Regainingly approximable numbers and sets

Computing over the Reals (or an Arbitrary Ring)

Realizability of Some Combinatorial Sequences

Computability on measurable functions

Recursively enumerable reals and Chaitin &OHgr; numbers

Computable one-way functions on the reals

Combinatorial and number-theoretic properties of generic reals

The Comparability Numbers and the Incomparability Numbers

Recursively enumerable reals and Chaitin Ω numbers

Dedicated to G. J. Chaitin for his 50th Birthday Recursively Enumerable Reals and Chaitin Numbers?