 | 2012 |
|---|
| 33 |       | Tarek Sayed Ahmed:
Epimorphisms are not surjective, even in simple algebras.
Logic Journal of the IGPL 20(1): 22-26 (2012) |
| 2011 |
|---|
| 32 | | Tarek Sayed Ahmed:
Classes of algebras without the amalgamation property.
Logic Journal of the IGPL 19(1): 87-104 (2011) |
| 31 | | Tarek Sayed Ahmed:
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras.
Math. Log. Q. 57(4): 384-394 (2011) |
| 2010 |
|---|
| 30 | | Tarek Sayed Ahmed:
The class of polyadic algebras has the super amalgamation property.
Math. Log. Q. 56(1): 103-112 (2010) |
| 2009 |
|---|
| 29 | | Tarek Sayed Ahmed:
On a theorem of Vaught for first order logic with finitely many variables.
Journal of Applied Non-Classical Logics 19(1): 97-112 (2009) |
| 28 | | Mohamed Khaled,
Tarek Sayed Ahmed:
On complete representations of algebras of logic.
Logic Journal of the IGPL 17(3): 267-272 (2009) |
| 27 | | Judit X. Madarász,
Tarek Sayed Ahmed:
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts.
Logic Journal of the IGPL 17(4): 429-483 (2009) |
| 26 | | Judit X. Madarász,
Tarek Sayed Ahmed:
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.
Logic Journal of the IGPL 17(6): 755-802 (2009) |
| 25 | | Tarek Sayed Ahmed:
A simple construction of representable relation algebras with non-representable completions.
Math. Log. Q. 55(3): 237-244 (2009) |
| 24 | | Tarek Sayed Ahmed:
A note on substitutions in representable cylindric algebras.
Math. Log. Q. 55(3): 280-287 (2009) |
| 23 | | Tarek Sayed Ahmed:
On neat embeddings of cylindric algebras.
Math. Log. Q. 55(6): 666-668 (2009) |
| 2008 |
|---|
| 22 | | Tarek Sayed Ahmed,
Hajnal Andréka,
István Németi:
Omitting types for finite variable fragments and complete representations of algebras.
J. Symb. Log. 73(1): 65-89 (2008) |
| 21 | | Tarek Sayed Ahmed,
Basim Samir:
The Class SNr3CAk is Not Closed Under Completions.
Logic Journal of the IGPL 16(5): 427-429 (2008) |
| 20 | | 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) |
| 19 | | Tarek Sayed Ahmed:
On Complete Representations of Reducts of Polyadic Algebras.
Studia Logica 89(3): 325-332 (2008) |
| 2007 |
|---|
| 18 | | Tarek Sayed Ahmed:
An Interpolation Theorem for First Order Logic with Infinitary Predicates.
Logic Journal of the IGPL 15(1): 21-32 (2007) |
| 17 | | Tarek Sayed Ahmed:
On Neat Reducts and Amalgamation.
Logic Journal of the IGPL 15(1): 33-39 (2007) |
| 16 | | Tarek Sayed Ahmed,
Basim Samir:
A Neat Embedding Theorem for Expansions of Cylindric Algebras.
Logic Journal of the IGPL 15(1): 41-51 (2007) |
| 15 | | 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) |
| 14 | | Tarek Sayed Ahmed:
A Note on Neat Reducts.
Studia Logica 85(2): 139-151 (2007) |
| 2006 |
|---|
| 13 | | Tarek Sayed Ahmed:
Independence Results in Algebraic Logic.
Logic Journal of the IGPL 14(1): 87-96 (2006) |
| 12 | | Tarek Sayed Ahmed:
Some Results on Amalgamation in Algebraic Logic.
Logic Journal of the IGPL 14(4): 623-627 (2006) |
| 11 | | 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) |
| 10 | | Mohamed A. Amer,
Tarek Sayed Ahmed:
Polyadic and cylindric algebras of sentences.
Math. Log. Q. 52(5): 444-449 (2006) |
| 2005 |
|---|
| 9 | | Tarek Sayed Ahmed:
Algebraic logic, where does it stand today?
Bulletin of Symbolic Logic 11(4): 465-516 (2005) |
| 8 |  | Tarek Sayed Ahmed:
Omitting types for algebraizable extensions of first order logic.
Journal of Applied Non-Classical Logics 15(4): 465-489 (2005) |
| 7 | | Tarek Sayed Ahmed:
Amalgamation Theorems in Algebraic Logic, an overview.
Logic Journal of the IGPL 13(3): 277-286 (2005) |
| 6 | | Tarek Sayed Ahmed:
On Amalgamation in Algebras of Logic.
Studia Logica 81(1): 61-77 (2005) |
| 2003 |
|---|
| 5 | | Tarek Sayed Ahmed:
Neat Embeddings, Omitting Types, and Interpolation: An Overview.
Notre Dame Journal of Formal Logic 44(3): 157-173 (2003) |
| 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): 593-628 (2001) |
| 1 | | Tarek Sayed Ahmed,
István Németi:
On Neat Reducts of Algebras of Logic.
Studia Logica 68(2): 229-262 (2001) |
Data released under the ODC-BY 1.0 license — See also our legal information page