Related papers: Reverse mathematics of the relativised fast growin…
An introduction and overview of constructive reverse mathematics.
This list presents problems in the Reverse Mathematics of infinitary Ramsey theory which I find interesting but do not personally have the techniques to solve. The intent is to enlist the help of those working in Reverse Mathematics to take…
Some additive reverses of the generalised triangle inequality in normed linear spaces are given. Applications for complex numbers are provided as well.
In this paper we survey wqo and bqo theory from the reverse mathematics perspective. We consider both elementary results (such as the equivalence of different definitions of the concepts, and basic closure properties) and more advanced…
Inverse optimization describes a process that is the "reverse" of traditional mathematical optimization. Unlike traditional optimization, which seeks to compute optimal decisions given an objective and constraints, inverse optimization…
The area of inverse problems in mathematics is highly interdisciplinary. In various fields of science, engineering, medicine, and industry, there arises a need to reconstruct information about unknown entities that cannot be directly…
We look at the rate of growth of the partial quotients of the infinite continued fraction expansion of an irrational number relative to the rate of approximation of the number by its convergents. In non-generic cases the Hausdorff dimension…
We show that the well-partial orderedness of the finite downwards closed subsets of $\mathbb{N}^k$ ,ordered by inclusion, is equivalent to the well-foundedness of the ordinal $\omega^{\omega^\omega}$. This was conjectured to be the case by…
We extend a study by Lempp and Hirst of infinite versions of some problems from finite complexity theory, using an intuitionistic version of reverse mathematics and techniques of Weihrauch analysis.
Work in progress concerning alternative formalizations of arithmetic.
We consider an inverse variational problem for the lines of constant curvature in (pseudo-)Euclidean two-, three-, and four-dimensional spaces. The accumulated results are physically meaningful in the case of relativistic mechanics of…
The paper is devoted to the development of the theory of inverse problems for evolution equations with terms rapidly oscillating in time. A new approach to setting such problems is developed for the case in which additional constraints are…
We present some of the group theoretic properties of reversing symmetry groups, and classify their structure in simple cases that occur frequently in several well-known groups of dynamical systems.
The aim of Reverse Mathematics(RM for short)is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. These minimal axioms are almost always equivalent to the theorem, working over the base theory of RM, a weak…
We revisit a formula that connects the minimal ranks of triangular parts of a matrix and its inverse and relate the result to structured rank matrices. We also address the generic minimal rank problem.
Inversion of function sinc(x) is studied. New series and integral representations of branches of inverse function are obtained using Fourier analysis.
We consider the functional inverse of the Gamma function in the complex plane, where it is multi-valued, and define a set of suitable branches by proposing a natural extension from the real case.
In this paper, we study the distribution of the digital reverses of prime numbers, which we call the "reversed primes". We prove the infinitude of reversed primes in any arithmetic progression satisfying straightforward necessary conditions…
The main objective of this article is to study several generalizations of the reverse order law for the Moore-Penrose inverse in ring with involution.
In this note we present a simple upper bound for the row-wise norm of the inverses of general confluent Vandermonde matrices.