TY - RPRT TI - Local definable $(p,q)$-theorem and a refinement AU - Gareth John Boxall AU - Charlotte Kestner AU - Tsinjo Rakotonarivo PY - 2026 UR - https://arxiv.org/abs/2610.21738 ID - 2610.21738 ER -