Related papers: Order-Preserving Variants of The Basic Principles …
In this paper we are concerned with existence results for a coupled system of quadratic functional differential equations. This system is reduced to a fixed point problem for a block operator matrix with nonlinear inputs. To prove the…
We give a new characterization of the class of rational string functions from formal language theory using order-preserving interpretations with respect to a very weak monadic programming language. This refines the known characterization of…
The concept of b-linear functional and its different types of continuity in linear n-normed space are presented and some of their properties are being established. We derive the Uniform Boundedness Principle and Hahn-Banach extension…
Recurrence equations have played a central role in static cost analysis, where they can be viewed as abstractions of programs and used to infer resource usage information without actually running the programs with concrete data. Such…
We work with very general Banach spaces of analytic functions in the disk or other domains which satisfy a minimum number of natural axioms. Among the preliminary results, we discuss some implications of the basic axioms and identify all…
We construct two bounded functional calculi for sectorial operators on Banach spaces, which enhance the functional calculus for analytic Besov functions, by extending the class of functions, generalizing and sharpening estimates, and…
We define a notion which contains numerous basic notions of Analysis as special cases, for example limit, continuity, differential, Riemann and Lebesgue integral, root and exponential functions. Properties like additivity or linearity of…
We perform conformal perturbation theory by marginal operators to first order. A suitable renormalization method is needed that makes the conformal invariance of the deformed correlation functions manifest. Combining the embedding space…
In this paper we introduce a class of Banach spaces of functions of class C^r (where r is a positive real number) and the associated dual spaces of distributions of order r, which turn out to be useful in p-adic Langlands theory. We…
We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends…
We introduce the concept of shifting distance functions, and we establish a new fixed point theorem which generalizes the Banach contraction principle. An example is provided to illustrate our result.
It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by…
The paper discusses Peano's argument for preserving familiar notations. The argument reinforces the principle of permanence, articulated in the early 19th century by Peacock, then adjusted by Hankel and adopted by many others. Typically…
The aim of this paper is to present a survey of some recent results obtained in the study of spaces with asymmetric norm. The presentation follows the ideas from the theory of normed spaces (topology, continuous linear operators, continuous…
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…
There are several extensions of the classical Banach Fixed Point Theorem in technical literature. A branch of generalizations replaces usual contractivity by weaker but still effective assumptions. Our note follows this stream, presenting…
We give improved bounds for our theorem in [GW09], which shows that a system of linear forms on $\mathbb{F}_p^n$ with squares that are linearly independent has the expected number of solutions in any linearly uniform subset of…
We give conditions for local diagonalization of analytic operator families acting between real or complex Banach spaces. The transformations are constructed from an operator Toeplitz matrix obtained from Jordan chains of increasing length.…
In this study we provide several significant generalisations of Banach contraction principle where the Lipschitz constant is substituted by real-valued control function that is a comparison function. We study non-stationary variants of…
We prove preservation theorems for $\mathcal{L}_{\omega_1, G}$, the countable fragment of Vaught's closed game logic. These are direct generalizations of the theorems of \L{}o\'s-Tarski (resp. Lyndon) on sentences of $\mathcal{L}_{\omega_1,…