Non-locally modular regular types in classifiable theories
Résumé
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 ∈ 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 M b.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...