Article contents
Real closed valued fields with analytic structure
Published online by Cambridge University Press: 05 December 2019
Abstract
We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We also provide a short proof that algebraically closed valued fields with separated analytic structure (in any rank) are C-minimal.
Keywords
MSC classification
- Type
- Research Article
- Information
- Proceedings of the Edinburgh Mathematical Society , Volume 63 , Issue 1 , February 2020 , pp. 249 - 261
- Creative Commons
- This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
- Copyright
- Copyright © Edinburgh Mathematical Society 2019
References
- 1
- Cited by