Article contents
p-adically closed fields with nonstandard analytic structure
Published online by Cambridge University Press: 12 March 2014
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2010
References
REFERENCES
- 1
- Cited by