Models Omitting Given Complete Types
Tsuboi, Akito
Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, p. 393-399 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We consider a problem of constructing a model that omits given complete types. We present two results. The first one is related to the Lopez-Escobar theorem and the second one is a version of Morley's omitting types theorem.
Publié le : 2008-10-15
Classification:  omitting types,  Lopez-Escobar theorem,  Morley's theorem,  Hanf numbers,  03C50,  03C52 
@article{1224257538,
     author = {Tsuboi, Akito},
     title = {Models Omitting Given Complete Types},
     journal = {Notre Dame J. Formal Logic},
     volume = {49},
     number = {1},
     year = {2008},
     pages = { 393-399},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1224257538}
}

Tsuboi, Akito. Models Omitting Given Complete Types. Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, pp.  393-399. http://gdmltest.u-ga.fr/item/1224257538/