Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
Abstract
By a celebrated result of Kučera and Slaman (DOI:10.1137/S0097539799357441), the Martin-Löf 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öf 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2024
- DOI:
- 10.48550/arXiv.2407.14445
- arXiv:
- arXiv:2407.14445
- Bibcode:
- 2024arXiv240714445T
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Information Theory;
- Mathematics - Probability;
- 03D32 (Primary) 68Q30;
- 03D30 (Secondary)
- E-Print:
- based on my doctoral dissertation