The n-distal field conjecture

Let KK be a field in the ring language, and let nn be a positive integer. A theory is n-distal when it satisfies the corresponding nn-ary distality condition. n-distal field conjecture. Every nn-distal field is already 11-distal. The source also asks whether, for every nn, there are strongly (n+1)(n+1)-distal but not nn-distal groups, and whether such examples can be required to be NIP, in the pure group language. These questions propose a hierarchy and possible strictness phenomena for higher distality; no resolution is given in the supplied text.

Sources & referencesView supporting material

Primary source

Artem Chernikov and Francis Westhead, “On n-distality, n-triviality and hypergraph regularity in NIP theories”, arXiv:2605.04714 (2026).

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.