Search

• < Previous
• 1
• Next >

---

Weihrauch-completeness for layerwise computability

Arno Pauly ; Willem Fouché ; George Davie.

We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logarithm and Birkhoff's theorem. We also consider hitting time operators, which share the Weihrauch degree of the former&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;]

---