Quantifier elimination for the theory of
✍
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