Abstract

Let \ be an expansion of a real closed field \ by a dense subgroup G of \ with the Mann property. We prove that the induced structure on G by \ eliminates imaginaries. As a consequence, every small set X 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.