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
42 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A definable (p,q)-theorem for NIP theories;Advances in Mathematics;2024-01
2. Burden in Henselian valued fields;Annals of Pure and Applied Logic;2023-12
3. DEFINABLE -THEOREM FOR FAMILIES WITH VC-CODENSITY LESS THAN;The Journal of Symbolic Logic;2023-06-29
4. TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES;The Journal of Symbolic Logic;2023-06-09
5. SEMI-EQUATIONAL THEORIES;The Journal of Symbolic Logic;2023-05-10