✦ LIBER ✦

Elimination of quantifiers in algebraic structures

✍ Scribed by Angus Macintyre; Kenneth McKenna; Lou van den Dries

Book ID: 107709911
Publisher: Elsevier Science
Year: 1983
Tongue: English
Weight: 768 KB
Volume: 47
Category: Article
ISSN: 0001-8708
DOI: 10.1016/0001-8708(83)90055-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantifier elimination for Stone algebra

Quantifier elimination for Stone algebras

✍ Switgard Feuerstein 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 774 KB

Elimination of Cardinality Quantifiers

✍ H. P. Tuschik 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 441 KB

Elimination of infinitesimal quantifiers

✍ Richardson. 📂 Library 📅 1999 🏛 JPAA 🌐 English ⚖ 234 KB

Elimination of algorithmic quantifiers f

Elimination of algorithmic quantifiers for ordered differential algebra

✍ Yunfu Shen 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 64 KB

Elimination of quantifiers for modules

✍ Walter Baur 📂 Article 📅 1976 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 256 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