Quantifier elimination for o-minimal structures expanded by a valuational cut

Clifton Ealy, Jana Maříková

Let $R$ be an o-minimal expansion of a group in a language in which $\text{Th}(R)$ eliminates quantifiers, and let $C$ be a predicate for a valuational cut in $R$. We identify a…