Quantifier elimination for quasi-real closed fields

2020/05/26 by Matusinski, Mickaël, Müller, Simon
#03C10 #03C64 #12J10 #12J15 #12L12 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2005.12681

Abstract

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.

Related

• Quantifier elimination and minimality conditions in algebraically closed valued fields
• Quantifier Elimination for Valued Fields Equipped with an Automorphism
• A constructive proof of Tarski's theorem on quantifier elimination in the theory of ACF
• Quantifier Elimination For Tame Fields
• Model theory of valued fields with an endomorphism