PreprintarXiv licencearXiv
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.
Related
- Inhomogeneous Fiber Refinement of Gallagher's Theorem
- A Lipschitz refinement of the Bebutov-Kakutani dynamical embedding theorem for connected Lie group actions
- Maximal Unramified p-Extensions with Prescribed Galois Groups: A Quantitative Refinement of Ozaki's Theorem
- A refinement of the edge theorem for order and chain polytopes
- Infinitary real-valued logic and a refinement of the Kochen-Specker theorem
BibTeX
@misc{boxall2026local,
title = {{Local definable $(p,q)$-theorem and a refinement}},
author = {Gareth John Boxall and Charlotte Kestner and Tsinjo Rakotonarivo},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.21738},
eprint = {2610.21738},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.21738},
}
RIS
TY - UNPB
TI - Local definable (p,q)-theorem and a refinement
AU - Gareth John Boxall
AU - Charlotte Kestner
AU - Tsinjo Rakotonarivo
PY - 2026
DA - 2026/10/15
PB - arXiv
DO - 10.48550/arxiv.2610.21738
UR - https://arxiv.org/abs/2610.21738
AB - 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.
ER -