1 problem

Extensible definability conjecture. There is $\theta(y)\in \operatorname{tp}(d/M)$ such that the partial type