Abstract:Limit computable functions can be characterized by Turing jumps on the input side or limits on the output side. As a monad of this pair of adjoint operations we obtain a problem that characterizes the low functions and dually to this another problem that characterizes the functions that are computable relative to the halting problem. Correspondingly, these two classes are the largest classes of functions that can be pre or post composed to limit computable functions without leaving the class of limit computable functions. We transfer these observations to the lattice of represented spaces where it leads to a formal Galois connection. We also formulate a version of this result for computable metric spaces. Limit computability and computability relative to the halting problem are notions that coincide for points and sequences, but even restricted to continuous functions the former class is strictly larger than the latter. On computable metric spaces we can characterize the functions that are computable relative to the halting problem as those functions that are limit computable with a modulus of continuity that is computable relative to the halting problem. As a consequence of this result we obtain, for instance, that Lipschitz continuous functions that are limit computable are automatically computable relative to the halting problem. We also discuss 1-generic points as the canonical points of continuity of limit computable functions, and we prove that restricted to these points limit computable functions are computable relative to the halting problem. Finally, we demonstrate how these results can be applied in computable analysis.

The power of backtracking and the confinement of length

Point-Separable Classes of Simple Computable Planar Curves

Computability Theory of Closed Timelike Curves

A Galois connection between Turing jumps and limits

Trajectory elongation strategies with minimum curvature discontinuities for a Dubins vehicle

Uniform bounds for convolution and restricted X-ray transforms along degenerate curves

Non-convexity of extremal length

Subsets of rectifiable curves in Banach spaces I: sharp exponents in traveling salesman theorems

Counting arcs of the same type

Existence of length minimizers in homotopy classes of Lipschitz paths in $\mathbb{H}^1$

A generalization of Markov's approach to the continuity problem for Type 1 computable functions

There is no going back: Properties of the non-backtracking Laplacian

Computable planar paths intersect in a computable point

Word-length curve counting on the once-punctured torus

Bar recursion is not computable via iteration

The Inverse of Ackermann Function is Computable in Linear Time

On the computability of graph Turing machines

Curved commutators in the plane

On rectifiable spaces and paratopological groups

Minimum-Link Covering Trails for any Hypercubic Lattice

Linear Bounds for the Lengths of Geodesics on Manifolds With Curvature Bounded Below