Home
Scholarly Works
Non-locally modular regular types in classifiable...
Preprint

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

Authors

Bouscaren E; Hart B; Hrushovski E; Laskowski MC

Publication date

October 24, 2019

DOI

10.48550/arxiv.1910.11404

Preprint server

arXiv

Labels

View published work (Non-McMaster Users)

Contact the Experts team