Imaginaries and definable types in algebraically closed valued fields

Abstract

We give an exposition of material from [1], [2] and [3], regarding definable types in the model completion of the theory of valued fields, and the classification of imaginary sorts. The latter is given a new proof, based on definable types rather than invariant types, and on the notion of generic reparametrization. I also try to bring out the relation to the geometry of [3] - stably dominated definable types as the model theoretic incarnation of a Berkovich point.