 | 2008 |
|---|
| 20 |       | Tarek Sayed Ahmed,
Basim Samir:
The Class SNr3CAk is Not Closed Under Completions.
Logic Journal of the IGPL 16(5): 427-429 (2008) |
| 19 | | 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 | | Tarek Sayed Ahmed:
On Complete Representations of Reducts of Polyadic Algebras.
Studia Logica 89(3): 325-332 (2008) |
| 2007 |
|---|
| 17 | | Tarek Sayed Ahmed:
An Interpolation Theorem for First Order Logic with Infinitary Predicates.
Logic Journal of the IGPL 15(1): 21-32 (2007) |
| 16 | | Tarek Sayed Ahmed:
On Neat Reducts and Amalgamation.
Logic Journal of the IGPL 15(1): 33-39 (2007) |
| 15 | | 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 | | 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 | | Tarek Sayed Ahmed:
A Note on Neat Reducts.
Studia Logica 85(2): 139-151 (2007) |
| 2006 |
|---|
| 12 | | Tarek Sayed Ahmed:
Independence Results in Algebraic Logic.
Logic Journal of the IGPL 14(1): 87-96 (2006) |
| 11 | | Tarek Sayed Ahmed:
Some Results on Amalgamation in Algebraic Logic.
Logic Journal of the IGPL 14(4): 623-627 (2006) |
| 10 | | 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 | | Mohamed Amer,
Tarek Sayed Ahmed:
Polyadic and cylindric algebras of sentences.
Math. Log. Q. 52(5): 444-449 (2006) |
| 2005 |
|---|
| 8 | | 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 | | Tarek Sayed Ahmed:
Amalgamation Theorems in Algebraic Logic, an overview.
Logic Journal of the IGPL 13(3): 277-286 (2005) |
| 5 | | Tarek Sayed Ahmed:
On Amalgamation in Algebras of Logic.
Studia Logica 81(1): 61-77 (2005) |
| 2002 |
|---|
| 4 | | 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 | | 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) |
