Definable types in algebraically closed valued fields

Pablo Cubides-Kovacsics, Françoise Delon

Marker and Steinhorn shown that given two models $M\prec N$ of an o-minimal theory, if all 1-types over $M$ realized in $N$ are definable, then all types over $M$ realized in $N$ a…