Results 11 to 20 of about 1,219,666 (262)
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
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
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
On fixed points of permutations [PDF]
Journal of Algebraic Combinatorics, 2008 The number of fixed points of a random permutation of 1,2,...,n has a limiting Poisson distribution. We seek a generalization, looking at other actions of the symmetric group. Restricting attention to primitive actions, a complete classification of the limiting distributions is given.
Diaconis, Persi +2 more
openaire +3 more sources
FIXED POINTS AND APPROXIMATE FIXED POINTS IN PRODUCT SPACES
Taiwanese Journal of Mathematics, 2001 The paper deals with the general theme of what is known about the existence of fixed points and approximate fixed points for mappings which satisfy geometric conditions in product spaces. In particular it is shown that if X and Y are metric spaces each of which has the fixed point property for nonexpansive mappings, then the product space (X ×Y )∞ has ...
Espínola, R., Kirk, W. A.
openaire +5 more sources
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
DAIMI Report Series, 1991 In the context of abstract interpretation for languages without higher-order features we study the number of times a functional need to be unfolded in order to give the least fixed point. For the cases of total or monotone functions we obtain an exponential bound and in the case of strict and additive (or distributive) functions we obtain a quadratic ...
Hanne Riis Nielson, Flemming Nielson
openaire +4 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
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