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.

Computability of Initial Value Problems

Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations

An elementary proof of the existence and uniqueness of solutions to an initial value problem

Axiomatization of Compact Initial Value Problems: Open Properties

A Galois connection between Turing jumps and limits

Computability of Solutions of the Korteweg-de Vries Equation

Artifical intelligence and inherent mathematical difficulty

More conservativity for weak Kőnig's lemma

A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces

Incompleteness for stably computable formal systems

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

An isomorphism theorem for models of weak König’s lemma without primitive recursion

Exploring the abyss in Kleene's computability theory

On the computational properties of basic mathematical notions

Robustness of non-computability

Computable one-way functions on the reals

Sometimes tame, sometimes wild: weak continuity

Computable domains of a Halting Function

A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory

An Initial Algebra Theorem Without Iteration

Halin's Infinite Ray Theorems: Complexity and Reverse Mathematics: Version E