✦ LIBER ✦

Quantifier Elimination in Tame Infinite p-Adic Fields

✍ Scribed by Ingo Brigandt

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A quantifier elimination for the theory

✍ L. Egidi 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 651 KB

Complexity of quantifier elimination in

✍ D. Yu. Grigor'ev 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 838 KB

The irreducible orthogonal and symplecti

✍ Allen Moy 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 215 KB

Elementary equivalence and codimension i

✍ L. Bélair; L. van den Dries; A. Macintyre 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 230 KB

Parametric equation solving and quantifi

✍ Zhenyu Huang 📂 Article 📅 2012 🏛 Academy of Mathematics and Systems Science, Chines 🌐 English ⚖ 243 KB

Quantifier Elimination over Algebraicall

✍ David Delahaye; Micaela Mayero 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 346 KB