Recursively Enumerable Reals and Chaitin Ω Numbers

Theoretical Computer Science - Netherlands
doi 10.1016/s0304-3975(99)00159-0