A Galois connection between Turing jumps and limits

Abstract: We discuss a Galois connection between Turing jumps and limits that offers a fresh view on the class of limit computable functions and its properties. This view does not only offer simplified proofs of many known classical results in computable analysis, but also new insights. With this approach we also propagate a more uniform view on computability theory in general.

logicnumerical analysis

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic