short, 2008 7-Tarek Sayed Ahmed and Basim Samir, An Omitting Types Theorem for First Order Logic with Infinitary Rlation Symbols, , , Mathematical Logic Quarterly, Vol | 41- 51, 2007 9-Tarek Sayed Ahmed and Basim Samir, Neat Embedding and Amalgamation |
---|---|
Mikhaeel and Basim Samir Labib, States and Boolean Algebra, Algebra Colloquium , vol |
.