English

Some Questions of Uniformity in Algorithmic Randomness

Logic in Computer Science 2023-06-22 v1 Logic

Abstract

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

Cite

@article{arxiv.2111.01472,
  title  = {Some Questions of Uniformity in Algorithmic Randomness},
  author = {Laurent Bienvenu and Barbara Csima and Matthew Harrison-Trainor},
  journal= {arXiv preprint arXiv:2111.01472},
  year   = {2023}
}
R2 v1 2026-06-24T07:22:19.287Z