On Work of Barmpalias and Lewis-Pye: A Derivation on the D.C.E. Reals

Let \(\alpha \) and \(\beta \) be (Martin-Lof) random left-c.e. reals with left-c.e. approximations \(\{\alpha _s\}_{s\in \omega }\) and \(\{\beta _s\}_{s\in \omega }\).