Related papers: Metric fixed point theory and partial impredicativ…
In this paper, we study the existence of the random fixed points under mild continuity assumptions. The main theorems consider the almost lower semicontinuous operators defined on Frechet spaces and also operators having properties weaker…
We present proofs of basic results, including those developed by Harold Bell, for the plane fixed point problem: does every map of a non-separating plane continuum have a fixed point? Some of these results had been announced much earlier by…
Reverse Mathematics (RM for short) is a program in the foundations of mathematics where the aim is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. Generally, the minimal axioms are equivalent to the…
In this paper, we prove some common coupled fixed point theorems for mappings satisfying different contractive conditions in the context of complete $C^*$-algebra-valued metric spaces. Moreover, the paper provides an application to prove…
The goal of this paper is proving the existence and then localizing global fixed points for nilpotent groups generated by homeomorphisms of the plane satisfying a certain Lipschitz condition. The condition is inspired in a classical result…
For a fixed number field and an elliptic curve defined and semi-stable over this number field, we consider the set of prime numbers p such that the Galois representation attached to the p-torsion points of the elliptic curve is reducible.…
Given a parameter dependent fixed point equation $x = F(x,u)$, we derive an abstract compactness principle for the fixed point map $u \mapsto x^*(u)$ under the assumptions that (i) the fixed point equation can be solved by the contraction…
The paper is devoted to a study of certain fixed point properties, and their relatives, in the context of full automorphism groups of countable rooted trees. Namely, we study Serre's property (FA'), also called unsplittability, property…
A new, simple and unified approach in the theory of contractive mappings was recently given by Samet \emph{et al.} (Nonlinear Anal. 75, 2012, 2154-2165) by using the concepts of $\alpha$-$\psi$-contractive type mappings and…
We give a new and very short proof of a theorem of Greiner asserting that a positive and contractive $C_0$-semigroup on an $L^p$-space is strongly convergent in case that it has a strictly positive fixed point and contains an integral…
In this article, we derive a common fixed point result for a pair of single valued and set-valued mappings on a metric space having graphical structure. In this case, the set-valued map is assumed to be closed valued instead of closed and…
We will show the central limit theorem for the general one-dimensional lattice where the space of symbols is a compact metric space. We consider the CLT for Lipschitz-Gibbs probabilities and in the proof we use several properties of the…
We show that Nash-Williams' theorem asserting that the countable transfinite sequences of elements of a better-quasi-ordering ordered by embeddability form a better-quasi-ordering is provable in the subsystem of second order arithmetic…
This paper addresses the Mountain Pass Theorem for locally Lipschitz functions on finite-dimensional vector spaces in terms of tangencies. Namely, let $f \colon \mathbb R^n \to \mathbb R$ be a locally Lipschitz function with a mountain pass…
We prove versions of Ekeland, Takahashi and Caristi principles in preordered quasi-metric spaces, the equivalence between these principles, as well as their equivalence to some completeness results for the underlying quasi-metric space.…
We prove that any proof of a $\forall \Sigma^0_2$ sentence in the theory $\mathrm{WKL}_0 + \mathrm{RT}^2_2$ can be translated into a proof in $\mathrm{RCA}_0$ at the cost of a polynomial increase in size. In fact, the proof in…
The Brezis-Browder ordering principle [Advances Math., 21 (1976), 355-364] is used to get a proof, in the reduced axiomatic system (ZF-AC+DC), of a fixed point result [in the complete axiomatic system (ZF)] over Cantor complete ultrametric…
This paper contains the following $\delta$-discretised projection theorem for Ahlfors regular sets in the plane. For all $C,\epsilon > 0$ and $s \in [0,1]$, there exists $\kappa > 0$ such that the following holds for all $\delta > 0$ small…
In this article, we prove that Ramsey's theorem for pairs and two colors is $\Pi^1_1$-conservative over~$\mathsf{RCA}_0 + \mathsf{B}\Sigma^0_2 + \mathsf{WF}(\epsilon_0)$ and over~$\mathsf{RCA}_0 + \mathsf{B}\Sigma^0_2 + \bigcup_n…
We establish a general structure theorem for the singular part of ${\mathscr A}$-free Radon measures, where ${\mathscr A}$ is a linear PDE operator. By applying the theorem to suitably chosen differential operators ${\mathscr A}$, we obtain…