Speedability of computably approximable reals and their approximations

George Barmpalias, Nan Fang, Wolfgang Merkle +1

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…