Mathematics – Logic
Scientific paper
2009-06-15
Mathematics
Logic
21 pages, presentation improved
Scientific paper
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.
Chernikov Artem
Kaplan I. I.
No associations
LandOfFree
Forking in NTP_2 theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Forking in NTP_2 theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Forking in NTP_2 theories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-475108