Submission date: 24 October 2019

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

Mathematics Subject Classification: 03C45

Keywords and phrases:

Full text arXiv 1910.11404: pdf, ps.