Translator Disclaimer
2003 Neat Embeddings, Omitting Types, and Interpolation: An Overview
Tarek Sayed Ahmed
Notre Dame J. Formal Logic 44(3): 157-173 (2003). DOI: 10.1305/ndjfl/1091030854

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

Download 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

Published: 2003
First available in Project Euclid: 28 July 2004

zbMATH: 1071.03041
MathSciNet: MR2130788
Digital Object Identifier: 10.1305/ndjfl/1091030854

Subjects:
Primary: 03C10, 0G15

Rights: Copyright © 2003 University of Notre Dame

JOURNAL ARTICLE
17 PAGES


SHARE
Vol.44 • No. 3 • 2003
Back to Top