Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
Commutative Algebra
2022-02-14 v1
Abstract
We use generalized Taylor formulae in order to give some simple constructions in the real closure of an \ovfz. We deduce a new, simple quantifier elimination algorithm for \rcvfs and some theorems about constructible subsets of real valuative affine space.
Cite
@article{arxiv.2202.05504,
title = {Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination},
author = {Mari-Emi Alonso and Henri Lombardi},
journal= {arXiv preprint arXiv:2202.05504},
year = {2022}
}