Real closed valued fields with analytic structure
Logic
2020-02-19 v1 Algebraic Geometry
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 -minimal.
Keywords
Cite
@article{arxiv.1812.02490,
title = {Real closed valued fields with analytic structure},
author = {Pablo Cubides Kovacsics and Deirdre Haskell},
journal= {arXiv preprint arXiv:1812.02490},
year = {2020}
}
Comments
10 pages. Any comments welcomed