Related papers: On stability of exactness properties under the pro…
A branch of generalizations of the Banach Fixed Point Theorem replaces contractivity by a weaker but still effective property. The aim of the present note is to extend the contraction principle in this spirit for such complete semimetric…
In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…
This work proposes a mathematical approach that (re)defines a property of Machine Learning models named stability and determines sufficient conditions to validate it. Machine Learning models are represented as functions, and the…
This work is dedicated to the results were got in the model theory of the regular polygons. We give the characterization of the monoids with axiomatizable and model complete class of regular polygons. We describe the monoids with complete…
A locally compact groupoid is said to be exact if its associated reduced crossed product functor is exact. In this paper, we establish some permanence properties of exactness, including generalizations of some known results for exact…
In the present work we suggest a general covariant theory which can be used to study the stability of any physical system treated geometrically. Stability conditions are connected to the magnitude of the deviation vector. This theory is a…
Inspired by the work of Suzuki in [Proc. Amer. Math. Soc. 136 (2008), 1861--1869] we prove a fixed point theorem for contractive mappings that generalizes a theorem of Geraghty in [Proc. Amer. Math. Soc., 40 (1973), 604--608] and…
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn…
In this oaper, we prove some fixed point theorems in metric vector spaces, in which the continuity is not required for the considered mappings to satisfy. We provide some concrete examples to demonstrate these theorems. We also give some…
We give a complete and detailed proof of Harer's stability theorem for the homology of mapping class groups of surfaces, with the best stability range presently known. This theorem and its proof have seen several improvements since Harer's…
In this article, we introduce a new type of mapping contracting perimeters of triangles in a complete metric space and present related fixed point theorem. We study the metric completeness property of the underlying space in terms of fixed…
We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially…
We prove that in a countable theory $T$ fully stable over a predicate $P$, any $\lam$-complete set $A$ has the $\lam$-existence property. This means that $A$ can be extended to a $\lam$-saturated model of $T$ without changing the $P$-part.…
An abstract scheme using particular types of relations on filters leads to general unifying results on stability under supremum and product of local topological properties. We present applications for Frechetness, strong Frechetness,…
In this article we study cohomology of a group with coefficients in representations on Banach spaces and its stability under deformations. We show that small, metric deformations of the representation preserve vanishing of cohomology. As…
We develop a general stability analysis for objective structures, which constitute a far reaching generalization of crystal lattice systems. We show that these particle systems, although in general neither periodic nor space filling, allow…
The main purpose of this paper is to find the fixed point in such cases where existing literature remain silent. In this paper we introduce partial completeness, a new type of contraction and many other definitions. Using this approach the…
G{\"o}del's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many theories-in particular, of the theory U itself-as well as it forbids to prove the normalization property for these theories, since this…
Super-stability and strong stability are properties of a matching in the stable matching problem with ties. In this paper, we introduce a common generalization of super-stability and strong stability, which we call non-uniform stability.…
Robustness guarantees are important properties to be looked for during control design. They ensure stability of closed-loop systems in face of uncertainties, unmodeled effects and bounded disturbances. While the theory on robust stability…