Search the dblp DataBase

Publications of Author

1. Tarek Sayed Ahmed
   Algebraic logic, where does it stand today? [Citation Graph (0, 0)][DBLP]
   Bulletin of Symbolic Logic, 2005, v:11, n:4, pp:465-516 [Journal]
   
2. Tarek Sayed Ahmed
   The Class of Neat Reducts is Not Elementary. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2001, v:9, n:4, pp:- [Journal]
   
3. Tarek Sayed Ahmed
   Amalgamation Theorems in Algebraic Logic, an overview. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:3, pp:277-286 [Journal]
   
4. Tarek Sayed Ahmed
   Some Results on Amalgamation in Algebraic Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2006, v:14, n:4, pp:623-627 [Journal]
   
5. Tarek Sayed Ahmed
   Independence Results in Algebraic Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2006, v:14, n:1, pp:87-96 [Journal]
   
6. Tarek Sayed Ahmed
   Omitting types for algebraizable extensions of first order logic. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2005, v:15, n:4, pp:465-489 [Journal]
   
7. Tarek Sayed Ahmed
   A Modeltheoretic Solution to a Problem of Tarski. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:343-355 [Journal]
   
8. Mohamed Amer, Tarek Sayed Ahmed
   Polyadic and cylindric algebras of sentences. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:5, pp:444-449 [Journal]
   
9. Tarek Sayed Ahmed
   The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:1, pp:106-112 [Journal]
   
10. Tarek Sayed Ahmed
    Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:2, pp:285-309 [Journal]
    
11. Tarek Sayed Ahmed
    On Amalgamation in Algebras of Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:81, n:1, pp:61-77 [Journal]
    
12. Tarek Sayed Ahmed, István Németi
    On Neat Reducts of Algebras of Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:68, n:2, pp:229-262 [Journal]
    
13. Tarek Sayed Ahmed, Basim Samir
    A Neat Embedding Theorem for Expansions of Cylindric Algebras. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2007, v:15, n:1, pp:41-51 [Journal]
    
14. Tarek Sayed Ahmed
    An Interpolation Theorem for First Order Logic with Infinitary Predicates. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2007, v:15, n:1, pp:21-32 [Journal]
    
15. Tarek Sayed Ahmed
    On Neat Reducts and Amalgamation. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2007, v:15, n:1, pp:33-39 [Journal]