Quantifier elimination for quasi-real closed fields

TL;DR

This paper proves quantifier elimination for quasi-real closed fields with compatible valuations, unifying known results for algebraically closed and real closed valued fields.

Contribution

It establishes quantifier elimination for a broader class of valued fields, extending previous results to quasi-real closed fields.

Findings

Quantifier elimination is achieved for quasi-real closed fields.

The results unify algebraically closed and real closed valued fields.

Provides a foundation for further model-theoretic analysis of these fields.

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.