Abstract
We survey various results on the relationship among neat embeddings (a notion special to cylindric algebras), complete representations, omitting types, and amalgamation. A hitherto unpublished application of algebraic logic to omitting types of first-order logic is given.
Citation
Tarek Sayed Ahmed. "Neat Embeddings, Omitting Types, and Interpolation: An Overview." Notre Dame J. Formal Logic 44 (3) 157 - 173, 2003. https://doi.org/10.1305/ndjfl/1091030854
Information