Strict independence
Abstract
We investigate the notions of strict independence and strict non-forking, and establish basic properties and connections between the two. In particular, it follows from our investigation that in resilient theories 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. We prove simple characterizations of such sequences in resilient theories, as well as of Morley sequences which are witnesses. As a by-product we obtain information on types co-dominated by generically stable types in dependent theories. For example, we prove that every Morley sequence in such a type is a witness.
References
- H. Adler, An introduction to theories without the independence property, Arch. Math. Logic (2008), accepted . Google Scholar
- J. Math. Log. 9(1), 1 (2009). Link, ISI, Google Scholar
-
E. Casanovas , Simple Theories and Hyperimaginaries ,Lecture Notes in Logic 39 ( Association for Symbolic Logic , Chicago, IL , 2011 ) . Crossref, Google Scholar - A. Chernikov, Theories without the tree property of the second kind, preprint (2012) , arXiv:1204.0832v1 . Google Scholar
- J. Symbolic Logic 77(1), 1 (2012). Crossref, ISI, Google Scholar
-
W. Hodges , Model Theory ,Encyclopedia of mathematics and its applications 42 ( Cambridge University Press , Great Britain , 1993 ) . Crossref, Google Scholar - J. Eur. Math. Soc. (JEMS) 13(4), 1005 (2011). Crossref, ISI, Google Scholar
- I. Kaplan, A. Onshuus and A. Usvyatsov, Additivity of the dp-rank, Trans. Amer. Math. Soc., preprint (2011) , arXiv:1109.1601 . Google Scholar
- J. Symbolic Logic 76(3), 737 (2011). Crossref, ISI, Google Scholar
- Ann. Pure Appl. Logic 162(7), 544 (2011). Crossref, ISI, Google Scholar
- Fund. Math. 214(3), 241 (2011). Crossref, ISI, Google Scholar
- Ann. Math. Logic 19(3), 177 (1980). Crossref, Google Scholar
-
S. Shelah , Classification Theory and the Number of Nonisomorphic Models , 2nd edn. ,Studies in Logic and the Foundations of Mathematics 92 ( North-Holland , Amsterdam , 1990 ) . Google Scholar - Sci. Math. Jpn. 59(2), 265 (2004). Google Scholar
- Israel J. Math. 173 , 1 ( 2009 ) . Crossref, ISI, Google Scholar
- J. Symbolic Logic 76(2), 448 (2011). Crossref, ISI, Google Scholar
-
K. Tent and M. Ziegler , A Course in Model Theory ,Lecture Notes in Logic ( Cambridge University Press , 2012 ) . Crossref, Google Scholar - A. Usvyatsov, Morley sequences in dependent theories, submitted . Google Scholar
- J. Symbolic Logic 74(1), 216 (2009). Crossref, ISI, Google Scholar
-
F. O. Wagner , Simple Theories ,Mathematics and Its Applications 503 ( Kluwer Academic Publishers , Dordrecht , 2000 ) . Crossref, Google Scholar - I. B. Yaacov and A. Chernikov, An independence theorem for NTP2 theories, preprint (2012) , arXiv:1207.0289 . Google Scholar
