Results 11 to 20 of about 1,170,010 (258)
Fixed Points Theorems for Non-Transitive Relations [PDF]
Logical Methods in Computer Science, 2022 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 attractivity, a mild
Jérémy Dubut, Akihisa Yamada
doaj +1 more source
Fixed points and coupled fixed points in partially ordered ν-generalized metric spaces
Applied General Topology, 2018 New fixed point and coupled fixed point theorems in partially ordered ν-generalized metric spaces are presented. Since the product of two ν-generalized metric spaces is not in general a ν-generalized metric space, a different approach is needed than in ...
Mortaza Abtahi +2 more
doaj +1 more source
A counter example on common periodic points of functions
International Journal of Mathematics and Mathematical Sciences, 1998 By a counter example we show that two continuous functions defined on a compact metric space satisfying a certain semi metric need not have a common periodic point.
Aliasghar Alikhani-Koopaei
doaj +1 more source
Existence of Fuzzy Fixed Points and Common Fuzzy Fixed Points for
Mathematics, 2023 This article contains results of the existence of fuzzy fixed points of fuzzy mappings that satisfy certain contraction conditions using the platform of partial b-metric spaces. Some non-trivial examples are provided to authenticate the main results. The
Dur-e-Shehwar Sagheer +4 more
doaj +1 more source
Fixed Points of $p$-Hybrid $L$-Fuzzy Contractions [PDF]
Sahand Communications in Mathematical Analysis, 2021 In this paper, the notion of $p$-hybrid $L$-fuzzy contractions in the framework of $b$-metric space is introduced. Sufficient conditions for existence of common $L$-fuzzy fixed points under such contractions are also investigated.
Shehu Shagari Mohammed +2 more
doaj +1 more source
Dynamics and Bifurcation of $x_{n+1}=\frac{\alpha+\beta x_{n-2}}{A+Bx_{n}+C x_{n-2}}$
Journal of Mathematical Sciences and Modelling, 2021 In this paper, we study dynamics and bifurcation of the third order rational difference equation \begin{eqnarray*} x_{n+1}=\frac{\alpha+\beta x_{n-2}}{A+Bx_{n}+Cx_{n-2}}, ~~n=0, 1, 2, \ldots \end{eqnarray*} with positive parameters $\alpha, \beta, A, B ...
Mohammad Saleh, Batool Raddad
doaj +1 more source
The Bulletin of Symbolic Logic, 2002 AbstractWe consider fixed point logics, i.e., extensions of first order predicate logic with operators defining fixed points. A number of such operators, generalizing inductive definitions, have been studied in the context of finite model theory, including nondeterministic and alternating operators. We review results established in finite model theory,
Dawar, Anuj, Gurevich, Yuri
openaire +2 more sources
Fixed points as Nash equilibria
Fixed Point Theory and Applications, 2006 The existence of fixed points for single or multivalued mappings is obtained as a corollary of Nash equilibrium existence in finitely many players games.
Juan Pablo Torres-Martínez
doaj +2 more sources
Fixed points and self-reference
International Journal of Mathematics and Mathematical Sciences, 1984 It is shown how Gödel's famous diagonal argument and a generalization of the recursion theorem are derivable from a common construation. The abstract fixed point theorem of this article is independent of both metamathematics and recursion theory and is ...
Raymond M. Smullyan
doaj +1 more source
Global Wilson–Fisher fixed points
Nuclear Physics B, 2017 The Wilson–Fisher fixed point with O(N) universality in three dimensions is studied using the renormalisation group. It is shown how a combination of analytical and numerical techniques determine global fixed points to leading order in the derivative ...
Andreas Jüttner +2 more
doaj +1 more source