A generalization of Shelah's omitting types theorem
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.
- Models omitting given complete types
- Helly's selection theorem and the principle of local reflexivity of ordered type
- Omitting types and AF algebras
- A note on Steinhorn's omitting types theorem
- Forcing and the Omitting Types Theorem For Lt
- Omitting types and the real line
- Omitting types in logic of metric structures
- An Omitting Types Theorem for Sheaves over Topological Spaces
- An omitting types theorem for positive bounded formulas in normed spaces
- An omitting types theorem for saturated structures
This page was built for publication: A generalization of Shelah's omitting types theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763970)
