𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Relative elimination of quantifiers for Henselian valued fields

✍ Scribed by Serban A. Basarab

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
952 KB
Volume
53
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Henselian valued fields: a constructive
Henselian valued fields: a constructive point of view
✍ HervΓ© Perdry πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 243 KB

This article is a logical continuation of the Henri Lombardi and Franz-Viktor Kuhlmann article [9]. We address some classical points of the theory of valued fields with an elementary and constructive point of view. We deal with Krull valuations, and not simply discrete valuations. First of all, we s

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