Theories with distal Shelah expansions

Gareth Boxall, Charlotte Kestner

We show that a complete first-order theory $T$ is distal provided it has a model $M$ such that the theory of the Shelah expansion of $M$ is distal.