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.

Limits of limit sets I

Limits of limit sets in rank-one symmetric spaces

Rigidity of limit sets for nonplanar geometrically finite Kleinian groups of the second kind

On Geometric Convergence of Discrete Groups

Limit Sets and Commensurability of Kleinian Groups

Limits of conformal images and conformal images of limits for planar random curves

On The Limit Set Of A Complex Hyperbolic Triangle Group

The Limit Points of the Strong Law of Large Numbers under the Sub-Linear Expectations

On Some Types of Limit

Monotone Sequences of Metric Spaces with Compact Limits

$(\infty,n)$-Limits II: Comparison across models

Convergence and divergence of Kleinian punctured torus groups

Inverse Limits of Finite Rank Free Groups

Lipschitz Carnot-Carathéodory structures and their limits

On Algebraic Limits and Topological Properties of Sets of Möbius Groups in $ \bar {r}^n $

Uniform spectral gap and orthogeodesic counting for strong convergence of Kleinian groups

Limit canonical series

The Set of Banach Limits and Its Discrete and Continuous Subsets

A Galois connection between Turing jumps and limits

Limits of sparse hypergraphs

Almost Limited Sets in Banach Lattices