1 problem

Let $T$ be a complete first-order theory. Say that $T$ has the stable Kim-forking property over models if, for every model $M\models T$ and every $B\supseteq M$, whenever…