Abstract
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.
Citation
Akito Tsuboi. "Models Omitting Given Complete Types." Notre Dame J. Formal Logic 49 (4) 393 - 399, 2008. https://doi.org/10.1215/00294527-2008-019
Information