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

Gareth John Boxall, Charlotte Kestner, Tsinjo Rakotonarivo

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.