Results 181 to 190 of about 1,556,595 (219)
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 ...
Dick De Jongh, Franco Montagna
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 ...
Dick De Jongh, Franco Montagna
openaire +2 more sources
gmj, 2002
Abstract Some fixed point theorems based on an asymptotic regularity condition have been obtained, which generalize the previously well-known results.
Liu, Zeqing, Khan, M. S., Pathak, H. K.
openaire +2 more sources
Abstract Some fixed point theorems based on an asymptotic regularity condition have been obtained, which generalize the previously well-known results.
Liu, Zeqing, Khan, M. S., Pathak, H. K.
openaire +2 more sources
Incompleteness and Fixed Points
MLQ, 2002Summary: Our purpose is to present some connections between modal incompleteness and modal logics related to the Gödel-Löb logic GL. One of our goals is to prove that for all \(m,n,k,l \in\mathbb{N}\) the logic \(\text{K}+\bigwedge_{i=m}^n \square^i (\bigwedge^l_{j=k} \square^j p\leftrightarrow p)\to \bigwedge^n_{i=m} \square^ip\) is incomplete and ...
openaire +2 more sources
Journal of Logical and Algebraic Methods in Programming, 2018
Abstract This is a survey on fixed points of endofunctors, including initial algebras and terminal coalgebras. We also consider the rational fixed point, a canonical domain of behavior for finitely presentable systems. In addition to the basic existence theorems for fixed points, several new results are presented.
Jirí Adámek +2 more
openaire +1 more source
Abstract This is a survey on fixed points of endofunctors, including initial algebras and terminal coalgebras. We also consider the rational fixed point, a canonical domain of behavior for finitely presentable systems. In addition to the basic existence theorems for fixed points, several new results are presented.
Jirí Adámek +2 more
openaire +1 more source
The American Mathematical Monthly, 2002
(2002). Isolating Fixed Points. The American Mathematical Monthly: Vol. 109, No. 7, pp. 595-611.
Robert F. Brown, Jack E. Girolo
openaire +2 more sources
(2002). Isolating Fixed Points. The American Mathematical Monthly: Vol. 109, No. 7, pp. 595-611.
Robert F. Brown, Jack E. Girolo
openaire +2 more sources
Canadian Mathematical Bulletin, 1967
Throughout this paper (X, d) will be a metric space with metric d, and h a homeomorphism of X onto itself. For any real number r > 0, and p ∊ X, U(p, r) will denote the open r - sphere about p. Any point p ∊ X is called regular [3] if for any given ∊ > 0 there exists a δ >
openaire +2 more sources
Throughout this paper (X, d) will be a metric space with metric d, and h a homeomorphism of X onto itself. For any real number r > 0, and p ∊ X, U(p, r) will denote the open r - sphere about p. Any point p ∊ X is called regular [3] if for any given ∊ > 0 there exists a δ >
openaire +2 more sources
Information Processing Letters, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Aarts, C. +8 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Aarts, C. +8 more
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
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
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