pith. sign in

arxiv: 1812.07970 · v1 · pith:6ZLDMXROnew · submitted 2018-12-19 · 🧮 math.LO

Small sets in Mann pairs

classification 🧮 math.LO
keywords mathcallanglerangledenseexpansionmannsmallstructure
0
0 comments X
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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Trace definability I: preservation and characterizations

    math.LO 2025-04 unverdicted novelty 6.0

    Introduces trace definability for first-order structures and establishes preservation and characterization results for classification-theoretic properties under it.