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.

Lattice-Valued Fuzzy Turing Machines And Their Computing Power

Nondeterministic Fuzzy Automata with Membership Values in Complete Residuated Lattices

On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

Some Improvements in Fuzzy Turing Machines

Computing Power of Turing Machines in the Framework of Unsharp Quantum Logic

The Computing Power of Turing Machine Based on Quantum Logic

Comprehensive Fuzzy Turing Machines, An Evolution to the Concept of Finite State Machine Control

Simulation for Lattice-Valued Doubly Labeled Transition Systems

Fuzzy alternating $\mathrm{B\ddot{u}chi}$ automata over distributive lattices

Physics Potential at FNAL with Stronger Proton Sources

On the lattice of fuzzy rough sets

A Novel Fault Diagnosis Framework of Computing with Words Based on Lattice-Valued Fuzzy Automata

Complete relations on fuzzy complete lattices

Decomposition theorem on matchable distributive lattices

Internal Turing Machines

Lattices of Quantum Automata

A Galois connection between Turing jumps and limits

Fuzzy Pushdown Termination Games

Fuzzy VC Combinatorics and Distality in Continuous Logic

The group of reversible Turing machines: subgroups, generators and computability