Imaginaries and definable types in algebraically closed valued fields
Ehud HrushovskiHebrew University, Jerusalem, Israel
Download Chapter PDF
A subscription is required to access this book chapter.
We give an exposition of material from ,  and , 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  - stably dominated definable types as the model theoretic incarnation of a Berkovich point.