Definable types in ACVF.
ENS Salle WGiven a pair of models Kprec L of a first-order theory T, the pair is said to be stable if the following property holds: all types over K which are realized in L are definable. Marker and Steinhorn characterized stable pairs of models of o-minimal theories as pairs K prec L where K is Dedekind complete in L. In this talk we provide a characterization of stable pairs of algebraically closed valued fields K prec L. To get a flavor of the topic, different examples will be discussed and a […]