Related papers: Ultrametric fixed points in reduced axiomatic syst…
An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm…
In this paper we generalize to unbounded convex subsets C of hyperbolic spaces results obtained by W.A. Kirk and R. Espinola on approximate fixed points of nonexpansive mappings in product spaces $(C\times M)_\infty$, where M is a metric…
We establish coupled fixed point theorems for contraction involving rational expressions in partially ordered metric spaces.
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…
In this paper, first we have established two sets of sufficient conditions for a mapping to have unique fixed point in a intuitionistic fuzzy metric space and then we have redefined the contraction mapping in a intuitionistic fuzzy metric…
In the context of tvs-cone metric spaces, we prove a Bishop-Phelps and a Caristi's type theorem. These results allow us to prove a fixed point theorem for $(\delta, L)$-weak contraction according to a pseudo Hausdorff metric defined by…
We establish fixed-point theorems for Meir-Keeler-type contractions in b-metric spaces. While Lu et al. demonstrated via an explicit counterexample that classical Meir-Keeler contractions may fail to admit fixed points in this setting, we…
The gauge Brezis-Browder Principle in Turinici [Bull. Acad. Pol. Sci. (Math.), 30 (1982), 161-166] is obtainable from the Principle of Dependent Choices (DC) and implies Ekeland's Variational Principle (EVP); hence, it is equivalent with…
The comparison type version of the fixed point result in ordered metric spaces established by Nieto and Rodriguez-Lopez [Acta Math. Sinica (English Series), 23 (2007), 2205-2212] is nothing but a particular case of the classical Banach's…
Fixed points for scalar theories in $4-\varepsilon$, $6-\varepsilon$ and $3-\varepsilon$ dimensions are discussed. It is shown how a large range of known fixed points for the four dimensional case can be obtained by using a general…
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF. The proof builds upon a previous mechanization of the reflection theorem. The heavy reliance on metatheory in the original proof makes the…
In this work, we introduce the concept of $C^{*}$-algebra valued asymetric metric space, the concept of forward and the concept of backward $C^{*}$ valued asymetric contractions. We discuss the existence and uniqueness of fixed points for a…
Lists, multisets, and sets are well-known data structures whose usefulness is widely recognized in various areas of Computer Science. These data structures have been analyzed from an axiomatic point of view with a parametric approach in (*)…
This article revisits the problem of global well-posedness for the generalized parabolic Anderson model on $\mathbb{R}^+\times \mathbb{T}^2$ within the framework of paracontrolled calculus \cite{GIP15}. The model is given by the equation:…
Three algebraically stabilized finite element schemes for discretizing convection-diffusion-reaction equations are studied on adaptively refined grids. These schemes are the algebraic flux correction (AFC) scheme with Kuzmin limiter, the…
A $1$-Lipschitz map $f$ from a convex compact set to itself has fixed points. This consequence of Brouwer's or Schauder's fixed point theorem has more elementary proofs by approximating $f$ by $\lambda$-contractions, $f_\lambda$. We study…
The notion of a (metric) modular on an arbitrary set and the corresponding modular space, more general than a metric space, were introduced and studied recently by the author [V. V. Chistyakov, Metric modulars and their application, Dokl.…
This paper investigates the global stability and the global asymptotic stability independent of the sizes of the delays of linear time-varying Caputo fractional dynamic systems of real fractional order possessing internal point delays. The…
This paper directly builds upon previous work where we introduced new reduced basis a posteriori error bounds for parametrized saddle point problems based on Brezzi's theory. We here sharpen these estimates for the special case of a…
In this paper we prove some new fixed point theorems for multivalued mappings on orbitally complete uniform spaces.