Neat Embeddings, Omitting Types, and Interpolation: An Overview
Tarek Sayed Ahmed · Notre Dame Journal of Formal Logic · 2003
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.