𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebraic structure of local field theory with finite-fold vacuum degeneracy

✍ Scribed by A. N. Vasil'ev

Book ID
112465270
Publisher
SP MAIK Nauka/Interperiodica
Year
1969
Tongue
English
Weight
794 KB
Volume
1
Category
Article
ISSN
0040-5779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Quantifier elimination for the theory of
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
✍ YalΔ±n F. Γ‡elikler πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 177 KB

## Abstract The theory of algebraically closed non‐Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this pape