Results 21 to 30 of about 4,586,045 (294)

Fixed Points of $p$-Hybrid $L$-Fuzzy Contractions [PDF]

open access: yesSahand 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

Bounded Fixed Point Iteration

open access: yesDAIMI 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   +6 more sources

Fixed points and self-reference

open access: yesInternational 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}}$

open access: yesJournal 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

On Essential Fixed Points [PDF]

open access: yesProceedings of the American Mathematical Society, 1959
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]

open access: yesAnnals of Pure and Applied Logic, 2021
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

open access: yesFixed 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

Existence of almost fixed points for random operators with application in game theory

open access: yesResults in Nonlinear Analysis, 2020
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

open access: yesNuclear 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

Stage comparison, fixed points, and least fixed points in Kripke–Platek environments

open access: yes, 2022
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

Home - About - Disclaimer - Privacy