1410 search results - page 50 / 282 » Proving theorems by reuse |
TYPES
1994
Springer
14 years 2 months ago
1994
Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Analog of Grobman-Hartman theorem about stable and unstable manifolds solutions for differential equations in Banach spaces with degenerate Fredholm operator at the deri...
EUSFLAT
2003
13 years 11 months ago
2003
In this paper we prove that a transitive fuzzy relation R on a set X can be extended to a total transitive fuzzy relation Q on X preserving the irreflexivity of R. This generaliz...
NDJFL
2010
13 years 4 months ago
2010
Van Lambalgen's Theorem plays an important role in algorithmic randomness, especially when studying relative randomness. In this paper we extend van Lambalgen's Theorem ...
SIAMCOMP
2011
13 years 23 days ago
2011
The Gibbard-Satterthwaite theorem states that every non-dictatorial election rule among at least three alternatives can be strategically manipulated. We prove a quantitative versi...