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. It utilizes the notion of locally compressible types which appeared in the work of the author with Bays and Simon.
Bibliographical notePublisher Copyright:
© 2023 Elsevier Inc.
- (p,q) theorem
- Model theory