Published online by Cambridge University Press: 12 March 2014
We 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.