It is now well-known what sorts have to be added to a valued field in order to achieve elimination of imaginaries. It is also known that these sorts do not suffice to eliminate imaginaries when the field is enhanced by restricted analytic functions, despite the fact that the theories still have quantifier elimination. In this talk, I will attempt to convey the intuition about the definable sets in a valued field that underlies all of these results (while explaining the model-theoretic terminology in the above).
- Séminaire Géométrie et théorie des modèles