Quantifier elimination for o-minimal structures expanded by a valuational cut
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 \(*\).
- Quantifier elimination in valued Ore modules
- Quasi-analyticity, o-minimality and quantifier elimination.
- Elimination of quantifiers for ordered valuation rings
- scientific article; zbMATH DE number 3914300
- scientific article; zbMATH DE number 3935016
- On the elimination of quantifier-free cuts
- Model completeness of o-minimal structures expanded by Dedekind cuts
- Quantifier elimination for a class of intuitionistic theories
- Relative elimination of quantifiers for Henselian valued fields
- Quantifier elimination in discriminator varieties
- T-convexity and tame extensions
- A geometric introduction to forking and thorn-forking
- A theory of pairs for non-valuational structures
- Correction to “T-convexity and tame extensions II”
- Definable choice for a class of weakly o-minimal theories
- Definable types in -minimal theories
- Elimination of quantifiers for ordered valuation rings
- Forking in VC-minimal theories
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- Model completeness of o-minimal fields with convex valuations
- O-minimal residue fields of o-minimal fields
- Paires de structures O-minimales
- Triangulation in o-minimal fields with standard part map
- Weakly o-minimal structures and real closed fields
- Expansion of a model of a weakly o-minimal theory by a family of unary predicates
- Definable choice for a class of weakly o-minimal theories
- Model completeness of o-minimal fields with convex valuations
- Elimination of imaginaries in expansions of o-minimal structures by generic sets
- Quantifier elimination for o-minimal structures expanded by a valuational cut
This page was built for publication: Quantifier elimination for o-minimal structures expanded by a valuational cut
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2105097)
