2 problems

Exponent-one locally modularity conjecture. Every distal locally modular geometric structure admits distal cell decompositions of exponent $1$.

Conjecture on optimal o-minimal bounds. The same bounds should hold in any $o$-minimal structure, potentially via Davenport–Schinzel sequences. Moreover, every $\Phi(x;y)$ in an…