A generalization of Shelah's omitting types theorem (Q763970)

The author investigates omitting types theorems. One of the main results is the following: Let \(T\) be a theory in a countable language \(L\), \(L_0\) a sublanguage of \(L\). Let \(R\) be a set of nonisolated complete \(L_0\)-types with \(|R| < 2^{\omega}\). Let \(S\) be a countable set of nonisolated \(L\)-types. Then there is a model \(M\) of \(T\) omitting all members of \(R \cup S\). This is a generalization of the usual omitting types theorem and Shelah's omitting types theorem. The author applies his result to the Lopez-Escobar theorem. He also considers the omitting types theorem for nonelementary classes.