𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Arithmetic of the module of roots of the isogeny of a formal group in the case of small ramification

✍ Scribed by S. V. Vostokov; A. N. Zinoviev

Publisher
Springer US
Year
2007
Tongue
English
Weight
149 KB
Volume
145
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computing the Selmer group of an isogeny
Computing the Selmer group of an isogeny between Abelian varieties using a further isogeny to a Jacobian
✍ Edward F. Schaefer; Joseph L. Wetherell πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 224 KB

This article describes an algorithm for computing the Selmer group of an isogeny between abelian varieties. This algorithm applies when there is an isogeny from the image abelian variety to the Jacobian of a curve. The use of an auxiliary Jacobian simplifies the determination of locally trivial coho

The formal specification of concurrent s
The formal specification of concurrent systems: a small CCS case study
✍ IM Bradley πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 676 KB

Building complex, concurrent systems requires a large amount of care. Such systems often have many interactions between components. Some of the more obscure timing patterns can lead eventually to system failure. It is essential that any problems be identified as soon as possible in the life of a pro

On the Difficulty of Writing Out formal
On the Difficulty of Writing Out formal Proofs in Arithmetic
✍ Ryo Kashima; Takeshi Yamaguchi πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 266 KB

## Abstract Let β„Έ be the set of GΓΆdel numbers Gn(__f__) of function symbols __f__ such that PRA ⊒ and let Ξ³ be the function such that We prove: (1) The r. e. set β„Έ is m‐complete; (2) the function Ξ³ is not primitive recursive in any class of functions {__f__~1~, __f__~2~, ⃛} so long as each __f~i~