arXiv Analytics

Sign in

arXiv:2005.12681 [math.LO]AbstractReferencesReviewsResources

Quantifier elimination for quasi-real closed fields

Mickaël Matusinski, Simon Müller

Published 2020-05-26Version 1

We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.

Comments: 5 pages
Categories: math.LO
Subjects: 03C10, 03C64, 12J10, 12J15, 12L12
Related articles: Most relevant | Search more
arXiv:1802.03323 [math.LO] (Published 2018-02-09)
Definable functions in tame expansions of algebraically closed valued fields
arXiv:math/0511310 [math.LO] (Published 2005-11-11, updated 2006-11-20)
Stable domination and independence in algebraically closed valued fields
arXiv:1502.00573 [math.LO] (Published 2015-02-02)
Quantifier elimination in C*-algebras

Links

Toolbox