This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the -theorem holds in dp-minimal theories of small or medium directionality.In the second part, we study dp-rank in dp-minimal theories and show that it enjoys many nice properties. It is continuous, definable in families and it can be characterised geometrically with no mention of indiscernible sequences. In particular, if the structure (...) expands a divisible ordered abelian group, then dp-rank coincides with the dimension coming from the order. (shrink)

We study one way in which stable phenomena can exist in an NIP theory. We start by defining a notion of ‘pure instability’ that we call ‘distality’ in which no such phenomenon occurs. O-minimal theories and the p-adics for example are distal. Next, we try to understand what happens when distality fails. Given a type p over a sufficiently saturated model, we extract, in some sense, the stable part of p and define a notion of stable independence which is implied (...) by non-forking and has bounded weight. (shrink)

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.