Small sets in Mann pairs
Logic
2018-12-20 v1
Abstract
Let be an expansion of a real closed field by a dense subgroup of with the Mann property. We prove that the induced structure on by eliminates imaginaries. As a consequence, every small set definable in can be definably embedded into some , uniformly in parameters. These results are proved in a more general setting, where is an expansion of an o-minimal structure by a dense set , 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}
}