THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES

DOI10.1017/JSL.2016.72zbMath1447.03002arXiv1602.01253OpenAlexW2963028858MaRDI QIDQ4638980

No author found.

Publication date: 2 May 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

distalityforkingNIPdefinable \((p,q)\)

Mathematics Subject Classification ID

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

Related Items (3)

Distality in valued fields and related structures ⋮ DISTALITY RANK ⋮ A definable \((p,q)\)-theorem for NIP theories

Cites Work

• Distal and non-distal NIP theories
• Dependent first order theories, continued
• 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: THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES