Logic Seminar - Shlomo Eshel

A  generalization of the Szemeredi-Trotter theorem to o-minimal expansions of fields

The Szemeredi-Trotter theorem is a very famous result in graph theory (1983) asserting that for any n points and m lines in the euclidean plane the number of incidences between points and lines is bounded by O(m^(2/3)n^(2/3)+n+m). During the past years, several generalizations have been provided, for example by Fox et al, for any semi-algebraic relations with bounded description complexity. We will give a further generalization of the Szemeredi-Trotter theorem for definable relations in an o-minimal expansion of real closed field, given by Starchenko, Galvin and Chernikov. 


Wed, 19/06/2019 - 11:00 to 13:00


Ross 63