Imaginaries and definable types in algebraically closed valued fields

  • Ehud Hrushovski

    Hebrew University, Jerusalem, Israel
Imaginaries and definable types in algebraically closed valued fields cover
Download Chapter PDF

A subscription is required to access this book chapter.

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.