Related papers: Degrees of incomputability, realizability and cons…
We are studying the degrees in which a computable structure is relatively computably categoricity, i.e., computably categorcial among all non-computable copies of the structure. Unlike the degrees of computable categoricity we can bound the…
In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this…
Weihrauch reducibility is a notion of reducibility between computational problems that is useful to calibrate the uniform computational strength of a multivalued function. It complements the analysis of mathematical theorems done in reverse…
We study Lispchitz solutions of partial differential relations $\nabla u\in K$, where $u$ is a vector-valued function in an open subset of $R^n$. In some cases the set of solutions turns out to be surprisingly large. The general theory is…
In this article, we give a full description of a topological many-one degree structure of real-valued functions, recently introduced by Day-Downey-Westrick. We also point out that their characterization of the Bourgain rank of a Baire-one…
We study relative precompleteness in the context of the theory of numberings, and relate this to a notion of lowness. We introduce a notion of divisibility for numberings, and use it to show that for the class of divisible numberings,…
We answer a question by Vasco Brattka and Guido Gherardi by proving that the Weihrauch-lattice is not a Brouwer algebra. The computable Weihrauch-lattice is also not a Heyting algebra, but the continuous Weihrauch-lattice is. We further…
This is the author's Ph.D. Thesis. It contains results from four years of research into realizability and categorical logic. The main subjects are the axiomatisation of realizable propositions, and a characterization of realizability…
This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared…
Let $d_1,...,d_r$ be positive integers and let $I = (F_1,...,F_r)$ be an ideal generated by general forms of degrees $d_1,...,d_r$, respectively, in a polynomial ring $R$ with $n$ variables. When all the degrees are the same we give a…
In this paper we study Weihrauch reducibility for multi-valued functions on represented spaces. We call the corresponding equivalence classes Weihrauch degrees and we show that the corresponding partial order induces a lower semi-lattice…
A concept of randomness for infinite time register machines (ITRMs) is defined and studied. In particular, we show that for this notion of randomness, computability from mutually random reals implies computability and that an analogue of…
Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant…
We systematically study the completion of choice problems in the Weihrauch lattice. Choice problems play a pivotal role in Weihrauch complexity. For one, they can be used as landmarks that characterize important equivalences classes in the…
We consider the homogeneous Dirichlet problem for the integral fractional Laplacian $(-\Delta)^s$. We prove optimal Sobolev regularity estimates in Lipschitz domains provided the solution is $C^s$ up to the boundary. We present the…
We introduce the concept of degree to classify the periods in the sense of Kontsevich. Using this notion we give some new understanding of some problems in transcendental number theory.
Starting from a recent result expressing the Lerch zeta function as a fractional derivative, we consider further fractional derivatives of the Lerch zeta function with respect to different variables. We establish a partial differential…
A method of constructing (finitely generated and projective) right module structure on a finitely generated projective left module over an algebra is presented. This leads to a construction of a first order differential calculus on such a…
Basic aspects of differential geometry can be extended to various non-classical settings: Lipschitz manifolds, rectifiable sets, sub-Riemannian manifolds, Banach manifolds, Weiner space, etc. Although the constructions differ, in each of…
We discuss several enumerative results for irreducible polynomials of a given degree and pairs of relatively prime polynomials of given degrees in several variables over finite fields. Two notions of degree, the {\em total degree} and the…