✦ LIBER ✦

Prototypes for Definable Subsets of Algebraically Closed Valued Fields

✍ Scribed by Jan E. Holly

Book ID: 115518127
Publisher: Association for Symbolic Logic
Year: 1997
Tongue: English
Weight: 932 KB
Volume: 62
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2275629

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Definable sets in algebraically closed v

Definable sets in algebraically closed valued fields: elimination of imaginaries

✍ Haskell, Deirdre; Hrushovski, Ehud; Macpherson, Dugald 📂 Article 📅 2006 🏛 Walter de Gruyter GmbH & Co. KG 🌐 English ⚖ 593 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

On Definable Subsets of p-Adic Fields

✍ Angus MacIntyre 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 160 KB

Hilbert’s Tenth Problem for function fie

Hilbert’s Tenth Problem for function fields of varieties over algebraically closed fields of positive characteristic

✍ Kirsten Eisenträger 📂 Article 📅 2011 🏛 Springer Vienna 🌐 English ⚖ 247 KB

Defining relations for Lie algebras of v

Defining relations for Lie algebras of vector fields

✍ N. van den Hijligenberg; G. Post 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 676 KB