pith. sign in

Small sets in Mann pairs

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
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.

fields

math.LO 1

years

2025 1

verdicts

UNVERDICTED 1

representative citing papers

citing papers explorer

Showing 1 of 1 citing paper.

  • Trace definability I: preservation and characterizations math.LO · 2025-04-07 · unverdicted · none · ref 80 · internal anchor

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