A definable (p,q)-theorem for NIP theories

Research output: Contribution to journalArticlepeer-review


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.

Original languageAmerican English
Article number109418
JournalAdvances in Mathematics
StatePublished - Jan 2024

Bibliographical note

Publisher Copyright:
© 2023 Elsevier Inc.


  • (p,q) theorem
  • Forking
  • Model theory
  • NIP


Dive into the research topics of 'A definable (p,q)-theorem for NIP theories'. Together they form a unique fingerprint.

Cite this