Local definable $(p,q)$-theorem and a refinement

Abstract

We prove the definable $(p,q)$-conjecture for NIP formulas in arbitrary first-order theories. We also prove a refinement and apply it to dense pairs.

arXiv comment17 pages, comments welcome