1 problem

Let $T$ be a countable weakly quasi-o-minimal theory with few countable models. Let $\mathcal P$ be the collection of all global $1$-types that are invariant over some finite param…