Author:
Chernikov Artem,Kaplan Itay
Abstract
AbstractWe prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded non-forking assuming NTP2.
Publisher
Cambridge University Press (CUP)
Reference19 articles.
1. Hrushovski Ehud and Pillay Anand , On NIP and invariant measures, submitted.
2. Dependent first order theories, continued
3. Starchenko Sergei , A note on Dolich's paper, preprint.
4. Simple unstable theories
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Around definable types in p-adically closed fields;Annals of Pure and Applied Logic;2024-12
2. A New Kim’s Lemma;Model Theory;2024-08-12
3. THREE SURPRISING INSTANCES OF DIVIDING;The Journal of Symbolic Logic;2024-03-21
4. A definable (p,q)-theorem for NIP theories;Advances in Mathematics;2024-01
5. Burden in Henselian valued fields;Annals of Pure and Applied Logic;2023-12