Publications > Preprint server > Preprint Number 498
Preprint Number 498
498. Itay Kaplan and Alexander Usvyatsov
Strict independence in dependent theories
Submission date: 20 August 2012.
We investigate the notions of strict independence and strict non-forking in dependent theories, establish basic properties and connections between the two. In particular it follows from our study that strict non-forking is symmetric. Based on this study, we develop notions of weight which characterize NTP2, dependence and strong dependence. Many of our proofs rely on careful analysis of sequences that witness dividing in dependent theories. We prove simple characterizations of such sequences, as well as of Morley sequences which are witnesses. As a by-product of this investigation, we obtain information on types co-dominated by generically stable types. For example, we prove that every Morley sequence in such a type is a witness.
Mathematics Subject Classification: 03C95, 03C45
Keywords and phrases:
|Last updated: August 26 2012 08:33||Please send your corrections to:|