There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated
The main point of interest of this dissertation is to study theories related to the theory ATRo in t...
We examine the reverse-mathematical strength of several theorems in classical and effective model th...
We investigate the relative complexity of mathematical constructions and theorems using the framewor...
We identify a notion of reducibility between predicates, called instancereducibility, which commonly...
We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihr...
We answer a question by Vasco Brattka and Guido Gherardi by proving that theWeihrauch-lattice is not...
In this thesis, we study the proof-theoretical and computational strength of some combinatorial prin...
Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics where the aim is t...
We introduce two new operations (compositional products and implication) on Weihrauch degrees, and i...
Reverse mathematics is a program which establishes which set existence axioms are necessary to prove...
We prove that the Weihrauch lattice can be transformed into a Brouwer algebra by the consecutive ap...
Reverse mathematics is a program of determining which axioms are required to prove theorems of mathe...
Reverse mathematics is a program which establishes which set existence axioms are necessary to prove...
Reverse Mathematics is a program in the foundations of mathematics initiated by Harvey Friedman and ...
Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics where the aim is t...
The main point of interest of this dissertation is to study theories related to the theory ATRo in t...
We examine the reverse-mathematical strength of several theorems in classical and effective model th...
We investigate the relative complexity of mathematical constructions and theorems using the framewor...
We identify a notion of reducibility between predicates, called instancereducibility, which commonly...
We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihr...
We answer a question by Vasco Brattka and Guido Gherardi by proving that theWeihrauch-lattice is not...
In this thesis, we study the proof-theoretical and computational strength of some combinatorial prin...
Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics where the aim is t...
We introduce two new operations (compositional products and implication) on Weihrauch degrees, and i...
Reverse mathematics is a program which establishes which set existence axioms are necessary to prove...
We prove that the Weihrauch lattice can be transformed into a Brouwer algebra by the consecutive ap...
Reverse mathematics is a program of determining which axioms are required to prove theorems of mathe...
Reverse mathematics is a program which establishes which set existence axioms are necessary to prove...
Reverse Mathematics is a program in the foundations of mathematics initiated by Harvey Friedman and ...
Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics where the aim is t...
The main point of interest of this dissertation is to study theories related to the theory ATRo in t...
We examine the reverse-mathematical strength of several theorems in classical and effective model th...
We investigate the relative complexity of mathematical constructions and theorems using the framewor...