Imaginaries and definable types in algebraically closed valued fields
Imaginaries and definable types in algebraically closed valued fields
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 …