𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The theory of modules of separably closed fields 2

✍ Scribed by Pilar Dellunde; Françoise Delon; Françoise Point

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
403 KB
Volume
129
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-complete theories of pseudo-algebr
Model-complete theories of pseudo-algebraically closed fields
✍ William H. Wheeler 📂 Article 📅 1979 🏛 Elsevier Science ⚖ 893 KB

The model-complete, complete theories of pseudo-algebraically closed field:; arc characterized in tilis paper, For example, the theory of algebraically closca lields of a specified characteristic is a model-complete, complete theory of pseudo-algebraically closed fields. The characterization is base

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