Non-locally modular regular types in classifiable theories

arXiv1910.11404MaRDI QIDQ6503891FDOQ6503891

Authors: E. Bouscaren, Bradd Hart, Ehud Hrushovski, M. C. Laskowski 

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 $pinS(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$.

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

This page was built for publication: Non-locally modular regular types in classifiable theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6503891)