{"id":"arxiv/2603.26484","url":"https://arxiv.org/abs/2603.26484","tags":["math.LO","cs.LO"],"score":0,"title":"Speedability of computably approximable reals and their approximations","domain":"math.LO","source":"arxiv","authors":["George Barmpalias","Nan Fang","Wolfgang Merkle","Ivan Titov"],"reviews":0,"subject":"math.LO","summary":"An approximation of a real is a sequence of rational numbers that converges to the real. An approximation is left-c.e. if it is computable and nondecreasing and is d.c.e. if it is computable and has bounded variation. A real is computably approximable if it has some computable approximation, and left-c.e. and d.c.e. reals are defined accordingly. An approximation $\\{a_s\\}_{s \\in ω}$ is speedable if there exists a nondecreasing computable function $f$ such that the approximation $\\{a_{f(s)}\\}_{s \\in ω}$ converges in a certain formal sense faster than $\\{a_s\\}_{s \\in ω}$. This leads to various…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-27","reactions":{}}