An important result in the model theory of algebraically closed valued fields is the equivalence between orthogonality to the value group and stable domination.
These types play a central role in the Hrushovski-Loeser reinterpretation of Berkovich analytic spaces and later work of Hrushovski and myself on Abelian groups interpretable in algebraically closed valued fields.
There has been multiple work since then on how to generalise stable domination to henselian valued fields that might not be algebraically closed.
In such a general setting, stable domination is not the relevant notion anymore as the residue field might not be stable. In this talk I will explain the definition of residue domination that allows to generalise the equivalence mentioned above.
As an added bonus, it turns out that this notion is also equivalent to the underlying quantifier free type being stably dominated.
This is joint with P. Cubides and M. Vicaría. |