Results 211 to 220 of about 1,170,010 (258)
Some of the next articles are maybe not open access.
Mathematical Logic Quarterly, 1988
The paper establishes some general conditions under wich a formula A(p) has only provable fixed points in Guaspari-Solovay modal logic of provability R. This result is used to give another proof of Parikh's theorem: For each natural number \(k\geq 1\) there is an arithmetical sentence A, provable in PA, such that \(\square^ kA\) has a much shorter ...
de Jongh, Dick, Montagna, Franco
openaire +2 more sources
The paper establishes some general conditions under wich a formula A(p) has only provable fixed points in Guaspari-Solovay modal logic of provability R. This result is used to give another proof of Parikh's theorem: For each natural number \(k\geq 1\) there is an arithmetical sentence A, provable in PA, such that \(\square^ kA\) has a much shorter ...
de Jongh, Dick, Montagna, Franco
openaire +2 more sources
Fixed points vs. coupled fixed points
Journal of Fixed Point Theory and Applications, 2018zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
1994
Abstract In an Ockham algebra (L;f) the notion of a fixed point f was introduced in Chapter 2 as an element a ∈L such that f(a) = a. Dually, we say that an element x of an Ockham space (X;g) is a fixed point of g if g(x) = x. We shall denote by Fix L [resp. Fix X] the subset of L [resp. X] formed by the fixed points f [resp. g].
T S Blyth, J C Varlet
+4 more sources
Abstract In an Ockham algebra (L;f) the notion of a fixed point f was introduced in Chapter 2 as an element a ∈L such that f(a) = a. Dually, we say that an element x of an Ockham space (X;g) is a fixed point of g if g(x) = x. We shall denote by Fix L [resp. Fix X] the subset of L [resp. X] formed by the fixed points f [resp. g].
T S Blyth, J C Varlet
+4 more sources
Proceedings of the American Mathematical Society, 1982
In this paper, we develop a machine which enables us to predict, in many cases, the exact number of fixed points of a local diffeomorphism. Though much more general, our technique applies in particular to locally expansive maps on compact, connected, orientable differentiable manifolds.
openaire +1 more source
In this paper, we develop a machine which enables us to predict, in many cases, the exact number of fixed points of a local diffeomorphism. Though much more general, our technique applies in particular to locally expansive maps on compact, connected, orientable differentiable manifolds.
openaire +1 more source
2008
This article gives statements of the Tarski fixed point theorem and the main versions of the topological fixed point principle that have been ...
openaire +1 more source
This article gives statements of the Tarski fixed point theorem and the main versions of the topological fixed point principle that have been ...
openaire +1 more source
Proceedings of the American Mathematical Society, 1961
the importance of the following Problem. Let A : X—*Y be a mapping (not necessarily linear) of a topological space X into a topological space Y. Under what conditions is A (X) open in F? The aim of this paper is to give a particular solution of this problem in the case of mappings A : X—>X of a Banach space X into itself.
openaire +1 more source
the importance of the following Problem. Let A : X—*Y be a mapping (not necessarily linear) of a topological space X into a topological space Y. Under what conditions is A (X) open in F? The aim of this paper is to give a particular solution of this problem in the case of mappings A : X—>X of a Banach space X into itself.
openaire +1 more source
1987
An economic system, which consists of a number of relationships among the relevant factors, is modelled as a system of equations or inequalities of certain unknowns, whose solution represents a specific state in which the system settles. This is typically exemplified by the Walrasian competitive economy (Walras, 1874), consisting of the interaction of ...
openaire +1 more source
An economic system, which consists of a number of relationships among the relevant factors, is modelled as a system of equations or inequalities of certain unknowns, whose solution represents a specific state in which the system settles. This is typically exemplified by the Walrasian competitive economy (Walras, 1874), consisting of the interaction of ...
openaire +1 more source
Subrahmanyam’s fixed point theorem
Nonlinear Analysis: Theory, Methods & Applications, 2009In this paper, a sufficient and necessary condition for the convergence of the sequence of successive \(\{T^n x\}\) approximations to a fixed point of self mapping \(T\) on a complete metric space \((X, d)\) is given. Some equivalent conditions for the convergence of the sequence of successive \(\{T^n x\}\) approximations to a unique fixed point of ...
openaire +2 more sources
Social determinants of health and US cancer screening interventions: A systematic review
Ca-A Cancer Journal for Clinicians, 2023Ariella R Korn
exaly