✦ LIBER ✦

Definable sets in algebraically closed valued fields: elimination of imaginaries

✍ Scribed by Haskell, Deirdre; Hrushovski, Ehud; Macpherson, Dugald

Book ID: 118741203
Publisher: Walter de Gruyter GmbH & Co. KG
Year: 2006
Tongue: English
Weight: 593 KB
Volume: 2006
Category: Article
ISSN: 0075-4102
DOI: 10.1515/CRELLE.2006.066

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Prototypes for Definable Subsets of Alge

Prototypes for Definable Subsets of Algebraically Closed Valued Fields

✍ Jan E. Holly 📂 Article 📅 1997 🏛 Association for Symbolic Logic 🌐 English ⚖ 932 KB

Canonical Forms for Definable Subsets of

Canonical Forms for Definable Subsets of Algebraically Closed and Real Closed Valued Fields

✍ Jan E. Holly 📂 Article 📅 1995 🏛 Association for Symbolic Logic 🌐 English ⚖ 390 KB

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