Submission date: 10 October 2022

Abstract:

We prove a definable version of Matoušek's (p,q)-theorem in NIP theories. This answers a question of Chernikov and Simon. We also prove a uniform version.
The proof builds on a proof of Boxall and Kestner who proved this theorem in the distal case, utilizing the notion of locally compressible types which appeared in the work of the author with Bays and Simon.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2210.04551: pdf, ps.