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

DOI10.1016/j.aim.2023.109418arXiv2210.04551OpenAlexW4388765941MaRDI QIDQ6182795

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

model theoryforkingNIP\((p, q)\) theorem

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Vapnik-Chervonenkis density in some theories without the independence property. II
• On non-forking spectra
• Classification theory and the number of non-isomorphic models.
• Piercing convex sets and the Hadwiger-Debrunner \((p,q)\)-problem
• Bounded VC-dimension implies a fractional Helly theorem
• Distal and non-distal NIP theories
• Vapnik-Chervonenkis density in some theories without the independence property, I
• On uniform definability of types over finite sets
• EXAMPLES IN DEPENDENT THEORIES
• THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES
• Definably amenable NIP groups
• ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES
• DP-MINIMALITY: INVARIANT TYPES AND DP-RANK
• Externally definable sets and dependent pairs II
• A Guide to NIP Theories
• Forking and Dividing in NTP₂ theories
• Invariant types in NIP theories

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