{"id":"arxiv/2610.21738","url":"https://arxiv.org/abs/2610.21738","tags":["math.LO"],"score":0,"title":"Local definable $(p,q)$-theorem and a refinement","domain":"math.LO","source":"arxiv","authors":["Gareth John Boxall","Charlotte Kestner","Tsinjo Rakotonarivo"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-15","reactions":{}}