Related papers: Weihrauch-completeness for layerwise computability
A new idea for iterative solution of the Helmholtz equation is presented. We show that the iteration which we denote WaveHoltz and which filters the solution to the wave equation with harmonic data evolved over one period, corresponds to a…
Logarithmic operators and logarithmic conformal field theories are reviewed. Prominent examples considered here include c=-2 and c=0 logarithmic conformal field theories. c=0 logarithmic conformal field theories are especially interesting…
Classical computations can not capture the essence of infinite computations very well. This paper will focus on a class of infinite computations called convergent infinite computations}. A logic for convergent infinite computations is…
Two results on the completeness of maximal solutions to first and second order ordinary differential equations (or inclusions) over complete Riemannian manifolds, with possibly time-dependent metrics, are obtained. Applications to…
A hierarchy of integrable hamiltonian nonlinear ODEs is associated with any decomposition of the Lie algebra of Laurent series with coefficients being elements of a semi-simple Lie algebra into a sum of the subalgebra consisting of the…
We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).
We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…
We introduce and study the notion of a logarithmic vertex algebra, which is a vertex algebra with logarithmic singularities in the operator product expansion of quantum fields; thus providing a rigorous formulation of the algebraic…
We consider a class of linear ODEs of second order with variable coefficients and construct its Lie algebra of Lie group of equivalence transformations. Further we find invariants and differential invariants of this Lie algebra and by using…
We construct a finite-dimensional algebra derived equivalent to the example of Kershaw--Rickard. For the Kershaw--Rickard example the delooping level and the sub-derived delooping level are both infinite, while for our algebra both…
In this thesis we will present and discuss various results pertaining to tiling problems and mathematical logic, specifically computability theory. We focus on Wang prototiles, as defined in [32]. We begin by studying Domino Problems, and…
Let h \subset g be an inclusion of Lie algebras with quotient h-module n. There is a natural degree filtration on the h-module U(g)/U(g)h whose associated graded h-module is isomorphic to S(n). We give a necessary and sufficient condition…
Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into problems involving either a set of infinitely-coupled non-linear differential equations or a class of linear Schr\"odinger…
We introduce the completeness problem for Modal Logic and examine its complexity. For a definition of completeness for formulas, given a formula of a modal logic, the completeness problem asks whether the formula is complete for that logic.…
Starting with the Dirac equation outside the event horizon of a non-extreme Kerr black hole, we develop a time-dependent scattering theory for massive Dirac particles. The explicit computation of the modified wave operators at infinity is…
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…
In our previous works (2012, 2013), we provided a finite list of properties characterizing all potential types of quadratic birational transformations of a projective space into a factorial variety, whose base locus is smooth and…
In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…
Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…
It is clarified how cohomologies and Gerstenhaber algebras can be associated with linear pre-operads (comp algebras). Their relation to mechanics and operadic physics is concisely discussed.