Work

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

Year: 2026

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2610.21738

Authors: Boxall, Gareth John, Kestner, Charlotte, Rakotonarivo, Tsinjo

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7222442693

Cites:

Cited by:

Related to: 10