2 problems

Let $K$ be a field. A structure is distal if it has the model-theoretic distality property. Henselian residue-field conjecture. Suppose $K$ has a distal expansion; then $K$ has a h…

Let $G$ be an ordered abelian group. Distal expansion conjecture. Every ordered abelian group admits a distal expansion. This proposes that distality can always be obtained by expa…