Photo by mybbor from unsplash
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… Click to show full 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 a short proof that algebraically closed valued fields with separated analytic structure (in any rank) are C-minimal.
Keywords:
analytic structure;
closed valued;
structure;
valued fields;
fields analytic;
real closed
Journal Title: Proceedings of the Edinburgh Mathematical Society
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Proceedings of the Edinburgh Mathematical Society
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!