Sign Up to like & get
recommendations!
1
Published in 2019 at "Proceedings of the Edinburgh Mathematical Society"
DOI: 10.1017/s0013091519000361
Abstract: 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…
read more here.
Keywords:
analytic structure;
closed valued;
structure;
valued fields ... See more keywords