2 problems

Let $K$ be a field in the ring language, and let $n$ be a positive integer. A theory is n-distal when it satisfies the corresponding $n$-ary distality condition. n-distal field con…

Let $M\prec N$ be NIP $L$-structures. Let $\varphi(x,y)$ be an $L_M$-formula and let $b\in N^{|y|}$. Assume $\varphi(x,b)$ does not divide over $M$. Chernikov–Simon conjecture. The…