arXiv Analytics

Sign in

arXiv:0906.2806 [math.LO]AbstractReferencesReviewsResources

Forking in NTP_2 theories

Artem Chernikov, Itay Kaplan

Published 2009-06-15, updated 2011-03-21Version 2

We 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 NTP_2.

Comments: 21 pages, presentation improved
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1204.0832 [math.LO] (Published 2012-04-03, updated 2013-08-14)
Theories without the tree property of the second kind
arXiv:1311.4053 [math.LO] (Published 2013-11-16, updated 2019-09-17)
A dichotomy for $D$-rank 1 types in simple theories
arXiv:1907.03142 [math.LO] (Published 2019-07-06)
Indestructibility of the tree property

Links

Toolbox