An omitting types theorem for saturated structures

DOI10.1016/0168-0072(93)90169-EzbMATH Open0787.03023OpenAlexW2040232081MaRDI QIDQ688799FDOQ688799

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

Recommendations

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

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)

Cites Work

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

Cited In (10)

• On the ubiquity of certain total type structures
• Model completions and omitting types
• Title not available (Why is that?)
• An Omitting Types Theorem for Sheaves over Topological Spaces
• The atomic model theorem and type omitting
• Forcing and the Omitting Types Theorem For Lt
• The space of strong types and an open map theorem
• An omitting types theorem for positive bounded formulas in normed spaces
• Stability and omitting types
• Omitting types and AF algebras

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)