Small sets in Mann pairs
read the original abstract
Let $\widetilde{\mathcal M}=\langle \mathcal M, G\rangle$ be an expansion of a real closed field $\mathcal M$ by a dense subgroup $G$ of $\langle M^{>0}, \cdot\rangle$ with the Mann property. We prove that the induced structure on $G$ by $\mathcal M$ eliminates imaginaries. As a consequence, every small set $X$ definable in $\mathcal M$ can be definably embedded into some $G^l$, uniformly in parameters. These results are proved in a more general setting, where $\widetilde{\mathcal M}=\langle \mathcal M, P\rangle$ is an expansion of an o-minimal structure $\mathcal M$ by a dense set $P\subseteq M$, satisfying three tameness conditions.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
Trace definability I: preservation and characterizations
Introduces trace definability for first-order structures and establishes preservation and characterization results for classification-theoretic properties under it.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.