We study dp-minimal and strongly dependent theories and investigate connections between these notions and weight.

This paper continues the work in [S. Shelah, Towards classifying unstable theories, Annals of Pure and Applied Logic 80 229–255] and [M. Džamonja, S. Shelah, On left triangle, open*-maximality, Annals of Pure and Applied Logic 125 119–158]. We present a rank function for NSOP1 theories and give an example of a theory which is NSOP1 but not simple. We also investigate the connection between maximality in the ordering left triangle, open* among complete first order theories and the SOP2 property. We (...) prove that left triangle, open*-maximality implies SOP2 and obtain certain results in the other direction. The paper provides a step toward the classification of unstable theories without the strict order property. (shrink)

We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent theories.

We develop the theory of domination by stable types and stable weight in an arbitrary theory.

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. (shrink)