arXiv++ Combinatorics

We prove distality of quantifier-free relations on valued fields with finite residue field. By a result of Chernikov-Galvin-Starchenko, this yields Szemerédi-Trotter-like incidence bounds for function fields over finite fields. We deduce a version of the Elekes-Szabó theorem for such fields.