Relativizing Chaitin ’ S Halting Probability

  title={Relativizing Chaitin ’ S Halting Probability},
  author={Denis R. Hirschfeldt and Joseph S. Miller and Andr{\'e} Nies},
As a natural example of a 1-random real, Chaitin proposed the halting probability Ω of a universal prefix-free machine. We can relativize this example by considering a universal prefix-free oracle machine U . Let ΩU be the halting probability of U A; this gives a natural uniform way of producing an A-random real for every A ∈ 2ω . It is this operator which is our primary object of study. We can draw an analogy between the jump operator from computability theory and this Omega operator. But… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 35 references

On Relative Randomness

Ann. Pure Appl. Logic • 1993
View 5 Excerpts
Highly Influenced

The Axiomatization of Randomness

J. Symb. Log. • 1990
View 9 Excerpts
Highly Influenced

Randomness and genericity in the degrees of unsolvability

S. Kurtz
PhD dissertation, University of Illinois, Urbana • 1981
View 4 Excerpts
Highly Influenced

Draft of paper (or series of papers) on Chaitin’s work

R. M. Solovay
unpublished notes • 1975
View 4 Excerpts
Highly Influenced

Randomness and Recursive Enumerability

SIAM J. Comput. • 2001
View 2 Excerpts
Highly Influenced


A. Nies, F. Stephan, S. A. Terwijn
relativization and Turing degrees, J. Symb. Log. 70(2) • 2005

Similar Papers

Loading similar papers…