Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
<|reference_start|>Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals: By a celebrated result of Ku\v{c}era and Slaman (DOI:10.1137/S0097539799357441), the Martin-L\"of random left-c.e. reals form the highest left-c.e. Solovay degree. Barmpalias and Lewis-Pye (arXiv:1604.00216) strengthened this result by showing that, for all left-c.e. reals $\alpha$ and $\beta$ such that $\beta$ is Martin-L\"of random and all left-c.e. approximations $a_0,a_1,\dots$ and $b_0,b_1,\dots$ of $\alpha$ and $\beta$, respectively, the limit \begin{equation*}   \lim\limits_{n\to\infty}\frac{\alpha - a_n}{\beta - b_n} \end{equation*} exists and does not depend on the choice of the left-c.e. approximations to $\alpha$ and $\beta$.   Here we give an equivalent formulation of the result of Barmpalias and Lewis-Pye in terms of nondecreasing translation functions and generalize their result to the set of all (i.e., not necessarily left-c.e.) reals.<|reference_end|>
@article{titov2024extending,
    title={Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals},
    author={Ivan Titov},
    journal={arXiv preprint arXiv:2407.14445},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.14445},
    primaryClass={math.LO cs.IT math.IT math.PR}
}