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](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fbooks%2Fcover-197.png&w=3840&q=90)
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.