✦ LIBER ✦

An ℓpand ℓ∞version of Tacon's theorem

✍ Scribed by Joseph G. Stampfli

Book ID: 105278406
Publisher: SP Birkhäuser Verlag Basel
Year: 1983
Tongue: English
Weight: 163 KB
Volume: 6
Category: Article
ISSN: 0378-620X
DOI: 10.1007/bf01691910

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An elementary proof of a theorem of taco

An elementary proof of a theorem of tacon

✍ Lawrence G. Brown; Ciprian Foiaş 📂 Article 📅 1981 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 96 KB

An improved version of Lloyd's theorem

✍ D.H. Smith 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 964 KB

An effective version of Nori's theorem

✍ M. S. Ravi 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 French ⚖ 310 KB

An Algebraic Version of Haag’s Theorem

✍ Mihály Weiner 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 237 KB

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

An Intuitionistic Version of Cantor's Theorem

✍ 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.