2016/12/03 by Chernikov, Artem, Galvin, David, Starchenko, Sergei · 2 citations
#03C45 #03C64 #05C35 #05D40 #Combinatorics (math.CO) #Computational Geometry (cs.CG) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1612.00908
We establish a cutting lemma for definable families of sets in distal structures, as well as the optimality of the distal cell decomposition for definable families of sets on the plane in o-minimal expansions of fields. Using it, we generalize the results in [J. Fox, J. Pach, A. Sheffer, A. Suk, and J. Zahl. "A semi-algebraic version of Zarankiewicz's problem"] on the semialgebraic planar Zarankiewicz problem to arbitrary o-minimal structures, in particular obtaining an o-minimal generalization of the Szemerédi-Trotter theorem.