Quantifier elimination for o-minimal structures expanded by a valuational cut
type: Item
instance of: scholarly article
title: Quantifier elimination for o-minimal structures expanded by a valuational cut
author: Clifton Ealy
author: Jana Maříková
published in: Annals of Pure and Applied Logic
publication date: 2022-12-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/2006.08124
review text: 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 \(*\).
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 12J25
Mathematics Subject Classification ID: 12J10
Mathematics Subject Classification ID: 12J15
Mathematics Subject Classification ID: 12L12
zbMATH DE Number: 7628768
zbMATH Keywords: o-minimality
zbMATH Keywords: valuational weakly o-minimal structure
zbMATH Keywords: quantifier elimination
zbMATH Keywords: universal axiomatization
zbMATH Keywords: convex valuation ring
reviewed by: Masato Fujita
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3034408416
cites work: A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
cites work: Paires de structures O-minimales
cites work: A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES
cites work: Forking in VC-minimal theories
cites work: Elimination of quantifiers for ordered valuation rings
cites work: Correction to “T-convexity and tame extensions II”
cites work: T-convexity and tame extensions
cites work: Triangulation in o-minimal fields with standard part map
cites work: MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS
cites work: Q4003410
cites work: Weakly o-minimal structures and real closed fields
cites work: Definable types in -minimal theories
cites work: O-minimal residue fields of o-minimal fields
cites work: Definable choice for a class of weakly o-minimal theories
DOI: 10.1016/J.APAL.2022.103206
Recommended article: Quantifier elimination in valued Ore modules
Recommended article: Quasi-analyticity, o-minimality and quantifier elimination.
Recommended article: Elimination of quantifiers for ordered valuation rings
Recommended article: Q3690798
Recommended article: Q3708785
Recommended article: On the elimination of quantifier-free cuts
Recommended article: Model completeness of o-minimal structures expanded by Dedekind cuts
Recommended article: Quantifier elimination for a class of intuitionistic theories
Recommended article: Relative elimination of quantifiers for Henselian valued fields
Recommended article: Quantifier elimination in discriminator varieties
description: scientific article; zbMATH DE number 7628768