𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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