Quantifier elimination for o-minimal structures expanded by a valuational cut
Let $R$ be an o-minimal expansion of a group in a language in which $\textrm{Th}(R)$ eliminates quantifiers, and let $C$ be a predicate for a valuational cut in $R$. We identify a condition that implies quantifier elimination for $\textrm{Th}(R,C)$ in the language of $R$ expanded by $C$ and a small...
Saved in:
Main Authors | , |
---|---|
Format | Journal Article |
Language | English |
Published |
15.06.2020
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Let $R$ be an o-minimal expansion of a group in a language in which
$\textrm{Th}(R)$ eliminates quantifiers, and let $C$ be a predicate for a
valuational cut in $R$. We identify a condition that implies quantifier
elimination for $\textrm{Th}(R,C)$ in the language of $R$ expanded by $C$ and a
small number of constants, and which, in turn, is implied by $\textrm{Th}(R,C)$
having quantifier elimination and being universally axiomatizable. The
condition applies for example in the case when $C$ is a convex subring of an
o-minimal field $R$ and its residue field is o-minimal. |
---|---|
DOI: | 10.48550/arxiv.2006.08124 |