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.

Computable domains of a Halting Function

Formal Definitions and Proofs for Partial (Co)Recursive Functions

Formalizing computability theory via partial recursive functions

The "paradox" of computability and a recursive relative version of the Busy Beaver function

Context-Dependent Functions: Narrowing the Realm of Turing's Halting Problem

Exploring the abyss in Kleene's computability theory

On the impossibility of using analogue machines to calculate non-computable functions

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

Internal Turing Machines

On the computational properties of basic mathematical notions

Computability of Initial Value Problems

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

Recursion Theory - Computational Aspects of Definability.

G?del's Incompleteness Theorem and Limitations of Mathematical Cognition——Understanding G?del's Incompleteness Theorem Based on Recursion Theory

Between Turing and Kleene

Primitive recursive functions versus partial recursive functions: comparing the degree of undecidability

Bar recursion is not computable via iteration

What If Turing Had Preceded Gödel?

Quantum Iterative Deepening with an application to the Halting problem

On a Theory of Computation over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines

A Galois connection between Turing jumps and limits