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.

Equivalence between limit theorems for lattice group-valued k-triangular set functions

A Full-Invariant Theorem and Some Applications

Lipschitz Equivalence of Cantor Sets and Irreducibility of Polynomials

Limit algebras and integer-valued cocycles, revisited

A general Banach-Stone type theorem and applications

Bijections Between Sets of Invariant Ideals, Via the Ladder Technique

Interval type local limit theorems for lattice type random variables and distributions

Limits of limit sets in rank-one symmetric spaces

Limits of vector lattices

A Christ-Kiselev maximal theorem in quasi-Banach function lattices

Combination theorems for geometrically finite convergence groups

Group actions on orbits of an amenable equivalence relation and topological versions of Kesten's theorem

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. III. Foundations for the k-Dimensional Case with Applications to k=2

Catalan's intervals and realizers of triangulations

A Birkhoff-Kellogg type theorem for discontinuous operators with applications

An approximation principle for congruence subgroups II: application to the limit multiplicity problem

An extension of the Birkhoff integrability for multifunctions

A first Kronecker limit formula for Kleinian groups

On the properties of the set where a generalized function of bounded variation takes infinite value

A Galois connection between Turing jumps and limits

Sublinear Bilipschitz Equivalence and the Quasiisometric Classification of Solvable Lie Groups