Related papers: Metric fixed point theory and partial impredicativ…
We show that over the weak base theory $\mathrm{RCA}_0^*$, cohesive Ramsey's theorem for pairs $\mathrm{CRT}^2_2$ implies exponential closure of the definable cut $\mathrm{I}^0_1$, which is the intersection of all $\Sigma^0_1$-definable…
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…
We establish fixed point theorems for nonlinear contractions on a metric space (not essentially complete) endowed with an arbitrary binary relation. Our results extend, generalize, modify and unify several known results especially those…
We present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster-Tarski fixed point theorem when restricted to the case of…
We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…
We prove a fixed point theorem that combines the contraction mapping principle and some Knaster-Tarski-like theorem. As a consequence we obtain an existence theorem to initial value problem for ordinary differential equation with…
In this paper, we extend the concept of \( b \)-metric spaces to the vectorial case, where the distance is vector-valued, and the constant in the triangle inequality axiom is replaced by a matrix. For such spaces, we establish results…
In this paper, we establish a common fixed point theorem for two pairs of occasionally weakly compatible single and set-valued maps satisfying a strict contractive condition in a metric space. Our result extends many results existing in the…
In this paper, we study the fixed point theory for multi-valued mappings on partial cone metric spaces. We prove an analogous to the well-known Kannan$'s$ fixed point theorem and Chatterjea$'s$ fixed point theorem for multi-valued mappings…
In this paper we discuss on the vector valued version of Caristi's theorem. We show that the regularity of the cone is an essential condition to reach the vector valued version of Caristi's theorem in vector valued metric spaces. It is…
The Ran-Reurings fixed point theorem [Proc. Amer. Math. Soc., 132 (2004), 1435-1443] is but a particular case of Maia's [Rend. Sem. Mat. Univ. Padova, 40 (1968), 139-143]. A "functional" version of this last result is then provided, in a…
In $\mathbb{R}^3$ we consider the vector fields \[ X_1 =\frac{ \partial }{\partial x},\qquad X_2 =\frac{ \partial }{\partial y}+ |x|^\alpha \frac{ \partial }{\partial z}, \] where $\alpha\in\left[1,+\infty\right[$. Let $\mathbb{R}^3_+…
This paper combines the decomposition technique ($\sigma$-stability) in random functional analysis with the deterministic theory of asymptotically pointwise contractions to provide a complete self-contained derivation of a fixed point…
In this paper we consider partial metric spaces in the sense of O'Neill. We introduce the notions of strong partial metric spaces and Cauchy functions. We prove a fixed point theorem for such spaces and functions that improves Matthews'…
In this article, we prove the existence of common fixed points for a pair of maps on a $q$-spherically complete $T_0$-ultra-quasi-metric space. The present article is a generalization, in the assymmetric setting of the paper of Rao et…
Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…
In this paper, we establish some new fixed point theorems and coincidence point theorems for essential distances and $e^{0}$-metrics which generalize and improve Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point…
Kruskal's theorem famously states that finite trees (ordered using an infima-preserving embeddability relation) form a well partial order. Freund, Rathjen, and Weiermann extended this result to general recursive data types with their…
This paper establishes novel fixed point theorems for Kannan-type and Chatterjea-type mappings in probabilistic cone metric spaces. By integrating probabilistic distance functions with cone-valued structures, we generalize classical fixed…
In this paper we establish some common fixed point theorem for a new class of pair of contractions mappings, called $\psi-(\alpha,\beta, m)$-contraction pairs, which we will assume occasionally weakly compatible and satisfying the property…