Related papers: Banach's theorem in higher order reverse mathemati…
Interpretation methods and their restrictions to polynomials have been deeply used to control the termination and complexity of first-order term rewrite systems. This paper extends interpretation methods to a pure higher order functional…
Given a Banach space $A$ and fix a non-zero $\varphi\in A^*$ with $\|\varphi\|\leq 1$. Then the product $a\cdot b=\langle\varphi, a\rangle\ b$ turning $A$ into a Banach algebra which will be denoted by $_\varphi A.$ Some of the main…
In this paper it is shown that higher order quasiconvex functions suitable in the variational treatment of problems involving second derivatives may be extended to the space of all matrices as classical quasiconvex functions. Precisely, it…
In this paper we study higher order Riesz transforms associated with the inverse Gaussian measure given by $\pi ^{n/2}e^{|x|^2}dx$ on $\mathbb{R}^n$. We establish $L^p(\mathbb{R}^n,e^{|x|^2}dx)$-boundedness properties and obtain…
The objective of this paper is to introduce and study a complicated nonlinear system, called coupled variational-hemivariational inequalities, which is described by a highly nonlinear coupled system of inequalities on Banach spaces. We…
We investigate B\"uchi Arithmetic $\mathsf{BA}_k$ -- the elementary theory of the natural numbers equipped with addition and the function mapping a number $x$ to the greatest power of $k$ dividing $x$. $\mathsf{BA}_k$ is known to be…
We combine the Riemann-Hilbert approach with the techniques of Banach algebras to obtain an extension of Baxter's Theorem for polynomials orthogonal on the unit circle. This is accomplished by using the link between the negative Fourier…
The ordered structures of natural, integer, rational and real numbers are studied here. It is known that the theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language…
In this article, we develop an algorithm suitable for constrained optimization in $\mathbb{R}^n$. The results are developed through standard tools of n-dimensional real analysis and basic concepts of optimization. Indeed, the well known…
The representer theorem is one of the most important mathematical foundations for regularised learning and kernel methods. Classical formulations of the theorem state sufficient conditions under which a regularisation problem on a Hilbert…
We introduce an operator on problems in Weihrauch complexity, which we call the inverse limit, and which corresponds to an infinite compositional product. This operation arises naturally whenever one implements algorithms that produce a…
Monadic second order logic and linear temporal logic are two logical formalisms that can be used to describe classes of infinite words, i.e., first-order models based on the natural numbers with order, successor, and finitely many unary…
This paper presents a reverse mathematical analysis of several forms of the sorites paradox. We first illustrate how traditional formulations are reliant on H\"older's Representation Theorem for ordered Archimedean groups. While this is…
An extension of order theory is presented that serves as a formalism for the study of dendroidal sets analogously to way the formalism of order theory is used in the study of simplicial sets.
In this paper we study the existence of continuous solutions and their constructions for a second order iterative functional equation, which involves iterate of the unknown function and a nonlinear term. Imposing Lipschitz conditions to…
We prove a linear and a nonlinear generalization of the Lax-Milgram theorem. In particular we give sufficient conditions for a real-valued function defined on the product of a reflexive Banach space and a normed space to represent all…
A theorem of Delorme states that every unitary representation of a connected Lie group with nontrivial reduced first cohomology has a finite-dimensional subrepresentation. More recently Shalom showed that such a property is inherited by…
Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic…
Riccati's differential equation is formulated as abstract equation in finite or infinite dimensional Banach spaces. Since the Riccati's differential equation with the Cole-Hopf transform shows a relation between the first order evolution…
Following their resolution of the Erd\H{o}s $B+B+t$ problem, Kra Moreira, Richter, and Robertson posed a number of questions and conjectures related to infinite configurations in positive density subsets of the integers and other amenable…