Results 21 to 30 of about 4,586,045 (294)
Fixed Points of $p$-Hybrid $L$-Fuzzy Contractions [PDF]
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
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 +6 more sources
Fixed points and self-reference
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}}$
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
On Essential Fixed Points [PDF]
Wenn jede stetige Abbildung des kompakten Hausdorffschen Raumes \(X\) in sich wenigstens einen Fixpunkt hat, so ist \(p \in X\) wesentlicher Fixpunkt von \(f: X \rightarrow p\). [\glqq Wesentlich\grqq{} bedeutet: Zu jeder Umgebung \(U\) von \(p\) gibt es in \(X^X\) (kompakt-offen topologisiert) eine Umgebung \(N\) von \(f\), so daß jedes \(g \in N ...
openaire +2 more sources
Intuitionistic fixed point logic [PDF]
We study the system IFP of intuitionistic fixed point logic, an extension of intuitionistic first-order logic by strictly positive inductive and coinductive definitions. We define a realizability interpretation of IFP and use it to extract computational content from proofs about abstract structures specified by arbitrary classically true disjunction ...
Ulrich Berger 0001, Hideki Tsuiki
openaire +3 more sources
Fixed points as Nash equilibria
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
Existence of almost fixed points for random operators with application in game theory
We introduce the notion of the random ε-fixed point for random operators. Then we prove some existence theorems in order to apply this results in game theory for example we will prove existence of ε-random Nash equilibrium in some class of random games ...
Oskar Górniewicz
doaj
Global Wilson–Fisher fixed points
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
Stage comparison, fixed points, and least fixed points in Kripke–Platek environments
et T be Kripke–Platek set theory with infinity extended by the axiom (Beta) plus the schema that claims that every set-bounded Σ-definable monotone operator from the collection of all sets to Pow(a) for some set a has a fixed point.
Jäger, Gerhard
core +1 more source

