Abstract
AbstractWe prove quantifier elimination for the field ℚp((tℚ)) (the completion of the field of Puiseux series over ℚp) in Macintyre's language together with symbols for functions in a class containing both t-adically and p-adically overconvergent functions. We also show that the theory of ℚp((tℚ)) is b-minimal in this language.
Publisher
Cambridge University Press (CUP)
Reference24 articles.
1. Formally p-adic Fields
2. Cluckers R. and Lipshitz L. , Fields with analytic structure, preprint, 2007.
3. Analytic Ax-Kochen-Ersov theorems
4. p-adic and Real Subanalytic Sets
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献