Non-locally modular regular types in classifiable theories - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

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.
Fichier principal
Vignette du fichier
Non-Local-Mod-REVISED.pdf (418.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02332527 , version 1 (24-10-2019)
hal-02332527 , version 2 (05-10-2020)
hal-02332527 , version 3 (13-04-2024)

Identifiants

  • HAL Id : hal-02332527 , version 3

Citer

Elisabeth Bouscaren, Bradd Hart, Ehud Hrushovski, Michael C Laskowski. Non-locally modular regular types in classifiable theories. 2024. ⟨hal-02332527v3⟩
44 Consultations
11 Téléchargements

Partager

Gmail Facebook X LinkedIn More