Non-locally modular regular types in classifiable theories
Abstract
We introduce the notion of strong $p$-semi-regularity and show that if $p$ is
a regular type which is not locally modular then any $p$-semi-regular type is
strongly $p$-semi-regular. Moreover, for any such $p$-semi-regular type,
"domination implies isolation" which allows us to prove the following: Suppose
that $T$ is countable, classifiable and $M$ is any model. If $p\in S(M)$ is
regular but not locally modular and $b$ is any realization of $p$ then every
model $N$ containing $M$ that is dominated by $b$ over $M$ is both
constructible and minimal over $Mb$.