A definable (p,q)-theorem for NIP theories

DOI10.1016/J.AIM.2023.109418MaRDI QIDQ6182795zbMATH OpenOpenAlexFDO

Authors Itay Kaplan

Publication date 21 December 2023

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2210.04551

zbMATH Keywords

\((p, q)\) theoremforkingmodel theoryNIP

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract model theory (03C95)

Abstract: We prove a definable version of Matouv{s}ek's $(p,q)$-theorem in NIP theories. This answers a question of Chernikov and Simon. We also prove a uniform version. The proof builds on a proof of Boxall and Kestner who proved this theorem in the distal case, utilizing the notion of locally compressible types which appeared in the work of the author with Bays and Simon.

Cites work

• A course in model theory
• A Guide to NIP Theories
• Bounded VC-dimension implies a fractional Helly theorem
• Classification theory and the number of non-isomorphic models.
• Definably amenable NIP groups
• Distal and non-distal NIP theories
• dp-minimality: invariant types and dp-rank
• Examples in dependent theories
• Externally definable sets and dependent pairs. II
• Forking and dividing in NTP\(_{2}\) theories
• Invariant types in NIP theories
• ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES
• On non-forking spectra
• On uniform definability of types over finite sets
• Piercing convex sets and the Hadwiger-Debrunner \((p,q)\)-problem
• The definable (p,q)-theorem for distal theories
• Vapnik-Chervonenkis density in some theories without the independence property. I
• Vapnik-Chervonenkis density in some theories without the independence property. II

Cited in

(1)

• Definable compactness in o-minimal structures

This page was built for publication: A definable \((p,q)\)-theorem for NIP theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6182795)