Local definable (p,q)-theorem and a refinement
Gareth John Boxall, Charlotte Kestner, Tsinjo Rakotonarivo
math.LOarXiv:2610.21738
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.
Create a lesson
Related papers
The rank problem for metric spaces
Asger Tornquist
Differential equations as difference-differential equations
Wei Li, Thomas Scanlon
Classification of bipartite observables III: simplicity, mixtures and quantum error correction
Eduardo Dueñez, José Iovino
Indiscernible Extraction in Theories with Bounded k-splitting
Connor Watson
Discrete Temporal CSPs et al
Lukas Pieper
Duality Theory for Sequent Algebras
Sergio A. Celani, William Zuluaga