paper

Some Questions of Uniformity in Algorithmic Randomness

arXiv:2111.01472 · doi:10.1017/jsl.2021.58

Abstract

The numbers-the halting probabilities of universal prefix-free machines-are known to be exactly the Martin-L{ö}f random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-L{ö}f random left-c.e. real , a universal prefix-free machine U whose halting probability is . We also answer a question of Barmpalias and Lewis-Pye by showing that given a left-c.e. real , one cannot uniformly produce a left-c.e. real such that -- is neither left-c.e. nor right-c.e.