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