Publications > Preprint server > Preprint Number 498
Preprint Number 498
498. Itay Kaplan and Alexander Usvyatsov Strict independence in dependent theories E-mail: Submission date: 20 August 2012. Abstract: 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: March 23 2021 10:22 | Please send your corrections to: |