✦ LIBER ✦

An infinitesimal version of Cartan's uniqueness theorem

✍ Scribed by Wilhelm Kaup; Harald Upmeier

Book ID: 105103207
Publisher: Springer
Year: 1977
Tongue: English
Weight: 596 KB
Volume: 22
Category: Article
ISSN: 0025-2611
DOI: 10.1007/bf01168224

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A unitary version of the Brauer-Cartan-H

A unitary version of the Brauer-Cartan-Hua Theorem

✍ I.N Herstein 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 433 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.