Search

• < Previous
• 1
• Next >

---

A Galois connection between Turing jumps and limits

Vasco Brattka.

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&nbsp;[&hellip;]

---

On the algebraic structure of Weihrauch degrees

Vasco Brattka ; Arno Pauly.

We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison with similar structures such as residuated lattices and&nbsp;[&hellip;]

---

Stashing And Parallelization Pentagons

Vasco Brattka.

Parallelization is an algebraic operation that lifts problems to sequences in a natural way. Given a sequence as an instance of the parallelized problem, another sequence is a solution of this problem if every component is instance-wise a solution of the original problem. In the Weihrauch lattice&nbsp;[&hellip;]

---