Real closed valued fields with analytic structure Journal Articles

abstract

• AbstractWe 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.

authors

• Cubides Kovacsics, Pablo
• Haskell, Deirdre

status

• published 

publication date

• February 2020

has subject area

• 0101 Pure Mathematics (FoR)
• 0102 Applied Mathematics (FoR)

published in

• Proceedings of the Edinburgh Mathematical Society  Journal

keywords

• C-minimality
• CELL DECOMPOSITION
• Mathematics
• Physical Sciences
• Science & Technology
• o-minimality
• overconvergent power series
• real closed valued fields
• separated analytic structure
• weak o-minimality

Digital Object Identifier (DOI)

• 10.1017/s0013091519000361

start page

• 249

end page

• 261

volume

• 63

issue

• 1