{"id":"arxiv/2608.15750","url":"https://arxiv.org/abs/2608.15750","tags":["math.LO","cs.IT","cs.LO"],"score":0,"title":"S2a-reducibility and differentiation in Martin-Löf random reals","domain":"math.LO","source":"arxiv","authors":["Georgii Sirotenko","Ivan Titov"],"reviews":0,"subject":"math.LO","summary":"Solovay reducibility is studied intensively as a tool to compare the approximability and the degree of randomness of left-c.e. reals. By definition, a real is left-c.e. if it has a left-c.e. approximation, that is, it is the limit of an effective nondecreasing sequence of rationals. If reals $α$ and $β$ have left-c.e. approximations $a_0, a_1, \\ldots$ and $b_0, b_1, \\ldots$, respectively, such that the approximation ratios \\[ \\frac{α-a_n}{β-b_n} \\] are bounded from above by a constant, the real $α$ is Solovay reducible to $β$. The latter is the case for any such $α$ and $β$ and their…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-16","reactions":{}}