The n-distal field conjecture
The n-distal field conjecture
Let be a field in the ring language, and let be a positive integer. A theory is n-distal when it satisfies the corresponding -ary distality condition. n-distal field conjecture. Every -distal field is already -distal. The source also asks whether, for every , there are strongly -distal but not -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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.