An omitting types theorem for saturated structures

DOI10.1016/0168-0072(93)90169-EMaRDI QIDQ688799zbMATH OpenOpenAlexFDO

Authors A. D. Greif, M. C. Laskowski

Publication date 23 May 1994

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(93)90169-e

zbMATH Keywords

stable theorycountably saturated modelsomitting types theoremtopology on the space of strong types

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50)

Recommendations

• Stability and omitting types
• Omitting types in logic of metric structures
• scientific article; zbMATH DE number 4077173
• A generalization of Shelah's omitting types theorem
• Forcing and the Omitting Types Theorem For Lt

Cites work

• Classification theory and the number of non-isomorphic models
• Countable models of 1-based theories

Cited in

(11)

• The atomic model theorem and type omitting
• An Omitting Types Theorem for Sheaves over Topological Spaces
• On the ubiquity of certain total type structures
• A generalization of Shelah's omitting types theorem
• The space of strong types and an open map theorem
• scientific article; zbMATH DE number 4077173 (Why is no real title available?)
• Model completions and omitting types
• Forcing and the Omitting Types Theorem For Lt
• An omitting types theorem for positive bounded formulas in normed spaces
• Omitting types and AF algebras
• Stability and omitting types

This page was built for publication: An omitting types theorem for saturated structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688799)