Order:
  1.  29
    A Neat Embedding Theorem For Expansions Of Cylindric Algebras.Tarek Sayed-Ahmed & Basim Samir - 2007 - Logic Journal of the IGPL 15 (1):41-51.
    We generalize two classical results on cylindric algebra to certain expansions of cylindric algebras where the extra operations are defined via first order formulas. The first result is the Neat Embedding Theorem of Henkin and the second is Monk's classical non-finitizability result of the class of representable algebras. As a corollary we obtain known classical results of Johnson and Biro published in the Journal of Symbolic logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  14
    An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
    In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. The Class Snr (3) CA (k) is Not Closed Under Completions (vol 16, pg 427, 2008).Tarek Sayed-Ahmed & Basim Samir - 2009 - Logic Journal of the Igpl 17 (1):155-155.
     
    Export citation  
     
    Bookmark  
  4.  29
    Neat embeddings and amalgamation.Tarek Sayed Ahmed & Basim Samir - 2006 - Bulletin of the Section of Logic 35 (4):163-171.
  5.  12
    The Class S.Tarek Sayed-Ahmed & Basim Samir - 2008 - Logic Journal of the IGPL 16 (5):427-429.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed-Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
     
    Export citation  
     
    Bookmark