Halting probability

Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega

We characterise the asymptotic upper bounds on the use of Chaitin's Ω in oracle computations of halting probabilities (i.e. c.e. reals). We show that the following two conditions are equivalent for any computable function h such that h(n)−n is …