𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Erratum to β€œAn improved version of the M
✍ Changpin Li; Guanrong Chen πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 219 KB

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 Effective Version of Belyi's Theorem
✍ Lily S. Khadjavi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 216 KB

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 Th
✍ Dario Maguolo; Silvio Valentini πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 163 KB πŸ‘ 1 views

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.