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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have