Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Flum, Jörg
1998.
An Extension of the Lemma of Rasiowa and Sikorski.
Mathematical Logic Quarterly,
Vol. 44,
Issue. 4,
p.
509.
Sayed Ahmed, Tarek
2003.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.
Notre Dame Journal of Formal Logic,
Vol. 44,
Issue. 3,
Sayed Ahmed, Tarek
2005.
Omitting types for algebraizable extensions of first order logic.
Journal of Applied Non-Classical Logics,
Vol. 15,
Issue. 4,
p.
465.
Ahmed, Tarek Sayed
2005.
Algebraic Logic, Where Does it Stand Today?.
Bulletin of Symbolic Logic,
Vol. 11,
Issue. 4,
p.
465.
Ahmed, Tarek Sayed
and
Samir, Basim
2007.
An Omitting Types Theorem for first order logic with infinitary relation symbols.
Mathematical Logic Quarterly,
Vol. 53,
Issue. 6,
p.
564.
Sayed Ahmed, Tarek
2020.
Existence of Certain Finite Relation Algebras Implies Failure of Omitting Types for L n.
Notre Dame Journal of Formal Logic,
Vol. 61,
Issue. 4,