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

A valuational weakly o-minimal expansion \((R, C )\) of an o-minimal structure \(R\) expanded by a unary predicate \(C\) is studied. The structure \(R\) is assumed to be an o-minimal expansion of a group in a language \(\mathcal L_0\) in which \(\operatorname{Th}(R)\) eliminates quantifiers. We also assume that the type \(\{x>r\;|\; r \in C(R)\} \cup \{x<r\;|\; r>C(R)\}\) over \(R\) is a cut in the sense of \textit{D. Marker} and \textit{C. I. Steinhorn} [J. Symb. Log. 59, No. 1, 185--198 (1994; Zbl 0801.03026)]. The main theorem gives a sufficient condition for the theory \(\operatorname{Th}(R,C)\) to eliminate quantifiers, to be universally axiomatizable and to have definable Skolem functions in the language \(\mathcal L_0 \cup \{C\}\) expanded by appropriate constants. Let \(p(x) \in S_1(\mathcal R)\) be the global type \(C(R)<x\) and \(x<\mathcal R^{>C(R)}\), and let \(q(x) \in S_1(\mathcal R)\) be the global type implied by \(r<x\) for all \(r \in \mathcal R\) with \(r<R^{>C(R)}\) and \(x<R^{>C(R)}\), where \(\mathcal R\) is a monster model. The sufficient condition is that, for any finite Morley sequence \(t_1, \ldots, t_n\) in \(p\) over \(R\), the reversed sequence \(t_n, \ldots, t_1\) is a finite Morley sequence in \(q\) over \(R\). The above condition and the conditions equivalent to it are called property \(*\) in the paper. When \((C,R)\) has property \(*\), the cut \(p(x)\) is variational; that is, there exists \(\varepsilon>0\) such that \(C(R)\) is closed under addition by \(\varepsilon\). The paper also gives an interesting example having property \(*\) . Let \(S\) be an o-minimal field and \(V\) be a valuation subring of \(S\) whose residue class field is also o-minimal. In this case, the expansion \((S,V)\) has property \(*\).