An omitting types theorem for saturated structures

DOI10.1016/0168-0072(93)90169-EzbMath0787.03023OpenAlexW2040232081MaRDI QIDQ688799

A. D. Greif, Michael Chris 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

omitting types theoremstable theorycountably saturated modelstopology 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)

Related Items (1)

The space of strong types and an open map theorem

Cites Work

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

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