Related papers: Metric fixed point theory and partial impredicativ…

By reformulating the classical proof as a Baire Category argument, we show that Besicovitch's Theorem in Cantor space is provable in $ACA_0$, and additionally that the witnessing subset is computable from one jump of the original set. We…

We study reversibility and strong reversibility of affine automorphisms of the two-torus, written as $f_{A,\bar{a}}(\bar{x})=A\bar{x}+\bar{a} \ (\mathrm{mod}\ \mathbb{Z}^2)$. We derive explicit criteria for the reversibility of such maps in…

This paper deals with an extension of a recent result by the authors generalizing Kannan's fixed point theorem based on a theorem of Vittorino Pata. The generalization takes place via a cyclical condition.

We give an elementary proof of the theorem which states that a finite unramified algebra over a discrete field is tracically \'etale. -- Nous donnons une d\'emonstration \'el\'ementaire du th\'eor\`eme selon lequel toute alg\`ebre nette sur…

In a recent article by Farah and the authors, a strong lifting theorem was proved for a class of coordinate-respecting maps between reduced products of discrete structures, hereby working under mild Forcing Axioms. We generalise this…

We introduce and study a general concept of multiple fixed point for mappings defined on partially ordered distance spaces in the presence of a contraction type condition and appropriate monotonicity properties. This notion and the obtained…

We establish a fixed-point theorem for the face maps that consist in deleting the $i$th entry of an ordered set. Furthermore, we show that there exists random finite sets of integers that are almost invariant under such deletions.…

We give necessary and sufficient conditions for a function in a naturally appearing functional space to be a fixed point of the Ruelle-Thurston operator associated to a rational function, see Lemma 2.1. The proof uses essentially a recent…

We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…

In this note we prove the a pointwise ergodic theorem for functions taking values in a separable complete CAT(0)-space, analogous to Lindenstrauss' pointwise ergodic theorem for real-valued integrable functions on a probability space…

We introduce a minimal ZFC-internal axiom system for pre-structural data (X, A, mu, mu^{otimes 2}, R, I, Pi_R, G, E_0, eta), where Pi_R : X -> R is a designated map and G subset X x X is a measurable relation; admissible structural models…

We prove a highly uniform version of the prime number theorem for a certain class of $L$-functions. The range of $x$ depends polynomially on the analytic conductor, and the error term is expressed in terms of an optimization problem…

For a wide class of groups including polycyclic and finitely generated polynomial growth groups it is proved that the Reidemeister number of an automorphism f is equal to the number of finite-dimensional fixed points of the induced map f^…

We review the explicit derivation of the Gauss-Bonet and Hirzebruch formulae by physical model and give a physical proof of the Lefschetz fixed-point formula by twisting boundary conditions for the path integral.

We establish some common fixed point results for four transformations in vector S-metric spaces by using the notion of weakly compatibility (WC) and occasionally weakly compatibility (OWC). The first theorem is proved by using the concept…

In this paper we extend the coupled fixed point theorems for mixed monotone operators $F:X \times X \rightarrow X$ obtained in [T.G. Bhaskar, V. Lakshmikantham, \textit{Fixed point theorems in partially ordered metric spaces and…

We give a version of the Borel-Cantelli lemma. As an application, we prove an almost sure local central limit theorem. As another application, we prove a dynamical Borel-Cantelli lemma for systems with sufficiently fast decay of…

Further extensions are given for the common fixed point statement in Dien [J. Math. Anal. Appl., 187 (1994), 76-90], involving Banach-Caristi contractive pairs.

Using the setting of $G$-metric spaces, common fixed point theorems for four maps satisfying the weakly commuting conditions are obtained for various generalized contractive conditions. Several examples are also presented to show the…

We obtain coupled coincidence and coupled common fixed point theorems for mixed $g$-monotone nonlinear operators $F:X \times X \rightarrow X$ in partially ordered metric spaces. Our results are generalizations of recent coincidence point…