Maximal stable quotients of invariant types in NIP theories

Krzysztof Krupiński, Adrián Portillo

For a NIP theory $T$, a sufficiently saturated model $\mathfrak{C}$ of $T$, and an invariant (over some small subset of $\mathfrak{C}$) global type $p$, we prove that there exists…