R Downey, DR Hirschfeldt, JS Miller… - Journal of Mathematical …, 2005 - World Scientific
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 …