Home
Scholarly Works
Real closed valued fields with analytic structure
Preprint

Real closed valued fields with analytic structure

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.

Authors

Kovacsics PC; Haskell D

Publication date

December 6, 2018

DOI

10.48550/arxiv.1812.02490

Preprint server

arXiv
View published work (Non-McMaster Users)

Contact the Experts team