Tarek Sayed Ahmed

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

19EETarek 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)
18EETarek Sayed Ahmed: On Complete Representations of Reducts of Polyadic Algebras. Studia Logica 89(3): 325-332 (2008)
17EETarek Sayed Ahmed: An Interpolation Theorem for First Order Logic with Infinitary Predicates. Logic Journal of the IGPL 15(1): 21-32 (2007)
16EETarek Sayed Ahmed: On Neat Reducts and Amalgamation. Logic Journal of the IGPL 15(1): 33-39 (2007)
15EETarek Sayed Ahmed, Basim Samir: A Neat Embedding Theorem for Expansions of Cylindric Algebras. Logic Journal of the IGPL 15(1): 41-51 (2007)
14EETarek Sayed Ahmed, Basim Samir: An Omitting Types Theorem for first order logic with infinitary relation symbols. Math. Log. Q. 53(6): 564-570 (2007)
13EETarek Sayed Ahmed: A Note on Neat Reducts. Studia Logica 85(2): 139-151 (2007)
12EETarek Sayed Ahmed: Independence Results in Algebraic Logic. Logic Journal of the IGPL 14(1): 87-96 (2006)
11EETarek Sayed Ahmed: Some Results on Amalgamation in Algebraic Logic. Logic Journal of the IGPL 14(4): 623-627 (2006)
10EETarek Sayed Ahmed: The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable. Math. Log. Q. 52(1): 106-112 (2006)
9EEMohamed Amer, Tarek Sayed Ahmed: Polyadic and cylindric algebras of sentences. Math. Log. Q. 52(5): 444-449 (2006)
8EETarek 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)
6EETarek Sayed Ahmed: Amalgamation Theorems in Algebraic Logic, an overview. Logic Journal of the IGPL 13(3): 277-286 (2005)
5EETarek Sayed Ahmed: On Amalgamation in Algebras of Logic. Studia Logica 81(1): 61-77 (2005)
4EETarek 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)
2EETarek 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)

Coauthor Index

1Mohamed Amer [9]
2István Németi [1]
3Basim Samir [14] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)