Gareth John Boxall

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

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.