It is regrettable that some misprints of the above-referred article had not been timely corrected in the galley proof. The correct statement of Theorem 1, on pp. 76-77, should be as follows: Theorem 1. Suppose that in system (2), F is a map from R n to itself, and Z is its fixed point. Assume also
An improved version of the Marotto Theorem
β Scribed by Changpin Li; Guanrong Chen
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 123 KB
- Volume
- 18
- Category
- Article
- ISSN
- 0960-0779
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We compute bounds on covering maps that arise in Belyi's Theorem. In particular, we construct a library of height properties and then apply it to algorithms that produce Belyi maps. Such maps are used to give coverings from algebraic curves to the projective line ramified over at most three points.
An intuitionistic version of Cantor's theorem, which shows that there is no surjective function from the type of the natural numbers Af into the type N + h/ of the functions from N into N, is proved within Martin-Lijf's Intuitionistic Type Theory with the universe of the small types.