English

Small sets in Mann pairs

Logic 2018-12-20 v1

Abstract

Let M~=M,G\widetilde{\mathcal M}=\langle \mathcal M, G\rangle be an expansion of a real closed field M\mathcal M by a dense subgroup GG of M>0,\langle M^{>0}, \cdot\rangle with the Mann property. We prove that the induced structure on GG by M\mathcal M eliminates imaginaries. As a consequence, every small set XX definable in M\mathcal M can be definably embedded into some GlG^l, uniformly in parameters. These results are proved in a more general setting, where M~=M,P\widetilde{\mathcal M}=\langle \mathcal M, P\rangle is an expansion of an o-minimal structure M\mathcal M by a dense set PMP\subseteq M, satisfying three tameness conditions.

Cite

@article{arxiv.1812.07970,
  title  = {Small sets in Mann pairs},
  author = {Pantelis E. Eleftheriou},
  journal= {arXiv preprint arXiv:1812.07970},
  year   = {2018}
}
R2 v1 2026-06-23T06:47:50.439Z