Quantifier elimination for quasi-real closed fields
Logic
2020-07-23 v2
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.
Keywords
Cite
@article{arxiv.2005.12681,
title = {Quantifier elimination for quasi-real closed fields},
author = {Mickaël Matusinski and Simon Müller},
journal= {arXiv preprint arXiv:2005.12681},
year = {2020}
}
Comments
5 pages