✦ LIBER ✦

An algebraic version of a theorem of Kurihara

✍ Scribed by Robert Pollack

Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 200 KB
Volume: 110
Category: Article
ISSN: 0022-314X
DOI: 10.1016/j.jnt.2003.10.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on an algebraic version of Cochra

A note on an algebraic version of Cochran's theorem

✍ Gorazd Lešnjak 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 162 KB

A further algebraic version of Cochran's

A further algebraic version of Cochran's theorem and matrix partial orderings

✍ Jerzy K. Baksalary; Jan Hauke 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 661 KB

An explicit version of a theorem of Stic

An explicit version of a theorem of Stickelberger

✍ Pavlos Tzermias 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 180 KB

We give an explicit version of a classical theorem of Stickelberger on the representation of certain integers by binary quadratic forms. This is achieved by generalizing Stickelberger's original congruences via an extension of a recent result of Young.

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.

Towards an Effective Version of a Theore

Towards an Effective Version of a Theorem of Stafford

✍ Andre Hillebrand; Wiland Schmale 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 317 KB

A classical theorem of Stafford says: every left ideal of partial differential operators with rational or even polynomial coefficients in n variables can be generated by two elements. The highly involved proof of this theorem is reorganized and completed for rational coefficients in order to yield a