The distal expansion conjecture for ordered abelian groups

Let GG 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 expanding the structure of an ordered abelian group; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Matthias Aschenbrenner, Artem Chernikov, Allen Gehret and Martin Ziegler, “Distality in valued fields and related structures”, arXiv:2008.09889 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.