A note on Steinhorn's omitting types theorem
Akito Tsuboi
Colloquium Mathematicae, Tome 116 (2009), p. 189-194 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)

Let p(x) be a nonprincipal type. We give a sufficient condition for a model M to have a proper elementary extension omitting p(x). As a corollary, we obtain a generalization of Steinhorn's omitting types theorem to the supersimple case.

Publié le : 2009-01-01
EUDML-ID : urn:eudml:doc:283992 
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-cm115-2-4,
     author = {Akito Tsuboi},
     title = {A note on Steinhorn's omitting types theorem},
     journal = {Colloquium Mathematicae},
     volume = {116},
     year = {2009},
     pages = {189-194},
     zbl = {1171.03019},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-cm115-2-4}
}

Akito Tsuboi. A note on Steinhorn's omitting types theorem. Colloquium Mathematicae, Tome 116 (2009) pp. 189-194. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-cm115-2-4/