Let T be a complete NIP theory, with monster model 𝕌. A generically stable type is a global type p(x) on 𝕌 which is C-invariant for some small set C, satisfying one of the following equivalent conditions:
These conditions generalize the properties of types in stable theories.
In a stable theory, all global types are generically stable. In an o-minimal theory, there are essentially no totally indiscernible sequences, so the only generically stable types are constant. In a general NIP theory, stable types are generically stable, as are stably dominated types. In ACVF, the generically stable types turn out to be exactly the same as the stably dominated types. ::: ::: :::