2 problems

Stable forking conjecture over a base. If $a \mathrel{\mathop{\mathpalette\notind{}}_{C}} b$, there is a formula $\varphi(x,b)\in\operatorname{tp}(a/Cb)$ which forks over $C$, such…

Stable forking conjecture. If $a \mathrel{\mathop{\mathpalette\notind{}}_{C}} b$, then there is a formula $\varphi(x,\overline{b})\in\operatorname{tp}(a/Cb)$ such that…