Stashing And Parallelization Pentagons

  title={Stashing And Parallelization Pentagons},
  author={Vasco Brattka},
  journal={Logical Methods in Computer Science},
  • V. Brattka
  • Published 23 February 2021
  • Mathematics
  • Logical Methods in Computer Science
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 parallelization is a closure operator. Here we introduce a dual operation that we call stashing and that also lifts problems to sequences, but such that only some component has to be an instance-wise… 

Figures from this paper


Abstract We prove that the Weihrauch lattice can be transformed into a Brouwer algebra by the consecutive application of two closure operators in the appropriate order: first completion and then
Weihrauch degrees, omniscience principles and weak computability
It is proved that parallelized LLPO is equivalent to Weak Kőnig's Lemma and hence to the Hahn–Banach Theorem in this new and very strong sense and any single-valued weakly computable operation is already computable in the ordinary sense.
The Discontinuity Problem
  • V. Brattka
  • Computer Science, Mathematics
    The Journal of Symbolic Logic
  • 2022
The discontinuity problem is introduced, and it is shown that it is reducible exactly to the effectively discontinuous problems, defined in a suitable way.
The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma
The concept of a derivative or jump in this lattice is introduced and it is shown that the Bolzano–Weierstras Theorem on real numbers is the jump of Weak Kőnig’s Lemma and the Monotone Convergence Theorem.
On the algebraic structure of Weihrauch degrees
A function space of multi-valued continuous functions that turns out to be particularly well-behaved for effectively traceable spaces that are closely related to admissibly represented spaces is introduced and studied.
On the Uniform Computational Content of the Baire Category Theorem
This work distinguishes two different logical versions of the Baire Category Theorem, where one can be seen as the contrapositive form of the other one, and considers different ways how the sequence of closed sets is given, which can distinguish between positive and negative information on closed sets.
Joins in the strong Weihrauch degrees
  • D. Dzhafarov
  • Computer Science, Mathematics
    Mathematical Research Letters
  • 2019
This work answers an open question about the algebraic structure of the strong Weihrauch degrees, by exhibiting a join operation that turns these degrees into a lattice, and shows that the two structures are not isomorphic.
Game Characterizations and Lower Cones in the Weihrauch Degrees
A parametrized version of the Wadge game for functions is introduced and it is proposed that the lower cones in the Weihrauch degrees are the answer to Andretta's question on which classes of functions admit game characterizations.
Probabilistic computability and choice
This work introduces the concept of a Las Vegas computable multi-valued function, which is a function that can be computed on a probabilistic Turing machine that receives a random binary sequence as auxiliary input and proves an Independent Choice Theorem that implies that Las Vegas Computable functions are closed under composition.
On the Uniform Computational Content of Computability Theory
It is demonstrated that the Weihrauch lattice can be used to classify the uniform computationalcontent of computability-theoretic properties as well as the computational content of theorems in one common setting and a bridge between the indiscriminative world and the discriminative World of classical mathematics can be established via a suitable residual operation.