Neat Embeddings, Omitting Types, and Interpolation: An Overview
Sayed Ahmed, Tarek
Notre Dame J. Formal Logic, Tome 44 (2003) no. 1, p. 157-173 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2003-07-14
Classification:  algebraic logic,  amalgamation,  cylindric algebras,  neat embeddings,  omitting types,  0G15,  03C10 
@article{1091030854,
     author = {Sayed Ahmed, Tarek},
     title = {Neat Embeddings, Omitting Types, and Interpolation: An Overview},
     journal = {Notre Dame J. Formal Logic},
     volume = {44},
     number = {1},
     year = {2003},
     pages = { 157-173},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1091030854}
}

Sayed Ahmed, Tarek. Neat Embeddings, Omitting Types, and Interpolation: An Overview. Notre Dame J. Formal Logic, Tome 44 (2003) no. 1, pp.  157-173. http://gdmltest.u-ga.fr/item/1091030854/