✦ LIBER ✦

Quantifier elimination for Stone algebras

✍ Scribed by Switgard Feuerstein

Publisher: Springer
Year: 1989
Tongue: English
Weight: 774 KB
Volume: 28
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01633983

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantifier Elimination for Distributive

Quantifier Elimination for Distributive Lattices and Measure Algebras

✍ Volker Weispfenning 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 722 KB

Quantifier elimination for modules

✍ Weispfenning, Volker 📂 Article 📅 1985 🏛 Springer-Verlag ⚖ 622 KB

Elimination of algorithmic quantifiers f

Elimination of algorithmic quantifiers for ordered differential algebra

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

Quantifier elimination for infinite term

Quantifier elimination for infinite terms

✍ G. Marongiu; S. Tulipani 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 952 KB

Quantifier Elimination for Real Algebra

Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond

✍ V. Weispfenning 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 320 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