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.

Nearly Computable Real Numbers

Reordered Computable Numbers

Regainingly approximable numbers and sets

Degree-Theoretic Aspects of Computably Enumerable Reals

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

HMC real numbers in Countable Mathematical Analysis

Formalising Real Numbers in Homotopy Type Theory

Computability in Analysis

Strong uniqueness in restricted rational approximation

Computability on measurable functions

The Eudoxus Reals

Pointed Computations And Martin-Lof Randomness

Real-Time Computability of Real Numbers by Chemical Reaction Networks

Analogues of the countable Borel equivalence relations in the setting of computable reducibility

Computable error bounds for quasi-Monte Carlo using points with non-negative local discrepancy

On the Cauchy Completeness of the Constructive Cauchy Reals

Normality, Relativization, and Randomness

Mathematical irrational numbers not so physically irrational

The worst approximable rational numbers

Lp Computable Functions and Fourier Series

Series Recursively Enumerable Reals and Chaitin Numbers