Non-locally modular regular types in classifiable theories

2019 
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. Moverover, 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$.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    8
    References
    0
    Citations
    NaN
    KQI
    []