✦ LIBER ✦

On Stöhr-Voloch's proof of Weil's theorem

✍ Scribed by Israel Vainsencher

Publisher: Springer
Year: 1989
Tongue: English
Weight: 214 KB
Volume: 64
Category: Article
ISSN: 0025-2611
DOI: 10.1007/bf01182088

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automata-Style Proof of Voloch's Result

Automata-Style Proof of Voloch's Result on Transcendence

✍ Dinesh S. Thakur 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 193 KB

## dedicated to john tate on his 70th birthday We give another proof of Voloch's result on transcendence of the period of the Tate elliptic curve. The proof is based on the transcendence criterion of Christol involving notions of recognizable sequences and automata.

On Gauss's proof of Seeber's Theorem

✍ G. Rousseau 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 516 KB

A generalization of Bochner-Weil’s theor

A generalization of Bochner-Weil’s theorem and Stone’s theorem on foundation semigroups

✍ M. Lashkarizadeh Bami 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 107 KB

On the proof of Solovay's theorem

✍ Dick Jongh; Marc Jumelet; Franco Montagna 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 892 KB

Automated proofs of Löb's theorem and Gö

Automated proofs of Löb's theorem and Gödel's two incompletensess theorems

✍ Art Quaife 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 558 KB

On a new proof of Litoff's theorem

✍ C. Faith; Y. Utumi 📂 Article 📅 1963 🏛 Akadmiai Kiad 🌐 English ⚖ 121 KB