Results 251 to 260 of about 4,586,045 (294)
Uncertainty Analysis of a Multi-Sensor Fusion Measurement Chain for Blade Collision Warning in Coaxial Twin-Rotor Helicopters. [PDF]
Sensors (Basel)Zheng W +5 more
europepmc +1 more source
New Strategies in Tuberculosis Prediction: TB-CAST, an Explainable Baseline Score for Two-Month Sputum Culture Positivity. [PDF]
Life (Basel)Miulescu MA +5 more
europepmc +1 more source
a review of Relative fixed points of functors. by Schoen, Ezra; Master, Jade; Kupke, Clemens
Hirokazu Nishimura
core
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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 +3 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 +3 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 +3 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 +2 more sources
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 +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