The Class of Neat Reducts is Not Elementary. - Tarek Sayed Ahmed (Log. J. IGPL, 2001)

On Neat Reducts of Algebras of Logic. - Tarek Sayed Ahmed; István Németi (Stud Logica, 2001)

A Modeltheoretic Solution to a Problem of Tarski. - Tarek Sayed Ahmed (Math. Log. Q., 2002)

Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. - Tarek Sayed Ahmed (Stud Logica, 2002)

Neat Embeddings, Omitting Types, and Interpolation: An Overview. - Tarek Sayed Ahmed (Notre Dame J. Formal Log., 2003)

Algebraic logic, where does it stand today? - Tarek Sayed Ahmed (Bull. Symb. Log., 2005)

Amalgamation Theorems in Algebraic Logic, an overview. - Tarek Sayed Ahmed (Log. J. IGPL, 2005)

Omitting types for algebraizable extensions of first order logic. - Tarek Sayed Ahmed (J. Appl. Non Class. Logics, 2005)

On Amalgamation in Algebras of Logic. - Tarek Sayed Ahmed (Stud Logica, 2005)

Independence Results in Algebraic Logic. - Tarek Sayed Ahmed (Log. J. IGPL, 2006)

Some Results on Amalgamation in Algebraic Logic. - Tarek Sayed Ahmed (Log. J. IGPL, 2006)

The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable. - Tarek Sayed Ahmed (Math. Log. Q., 2006)

Polyadic and cylindric algebras of sentences. - Mohamed A. Amer; Tarek Sayed Ahmed (Math. Log. Q., 2006)

An Interpolation Theorem for First Order Logic with Infinitary Predicates. - Tarek Sayed Ahmed (Log. J. IGPL, 2007)

On Neat Reducts and Amalgamation. - Tarek Sayed Ahmed (Log. J. IGPL, 2007)

A Neat Embedding Theorem for Expansions of Cylindric Algebras. - Tarek Sayed Ahmed; Basim Samir (Log. J. IGPL, 2007)

An Omitting Types Theorem for first order logic with infinitary relation symbols. - Tarek Sayed Ahmed; Basim Samir (Math. Log. Q., 2007)

A Note on Neat Reducts. - Tarek Sayed Ahmed (Stud Logica, 2007)

The Class SNr3CAk is Not Closed Under Completions. - Tarek Sayed Ahmed; Basim Samir (Log. J. IGPL, 2008)

Omitting types for finite variable fragments and complete representations of algebras. - Tarek Sayed Ahmed; Hajnal Andréka; István Németi (J. Symb. Log., 2008)

Weakly representable atom structures that are not strongly representable, with an application to first order logic. - Tarek Sayed Ahmed (Math. Log. Q., 2008)

On Complete Representations of Reducts of Polyadic Algebras. - Tarek Sayed Ahmed (Stud Logica, 2008)

On complete representations of algebras of logic. - Mohamed Khaled; Tarek Sayed Ahmed (Log. J. IGPL, 2009)

Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts. - Judit X. Madarász; Tarek Sayed Ahmed (Log. J. IGPL, 2009)

Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation. - Judit X. Madarász; Tarek Sayed Ahmed (Log. J. IGPL, 2009)

On a theorem of Vaught for first order logic with finitely many variables. - Tarek Sayed Ahmed (J. Appl. Non Class. Logics, 2009)

A simple construction of representable relation algebras with non-representable completions. - Tarek Sayed Ahmed (Math. Log. Q., 2009)

A note on substitutions in representable cylindric algebras. - Tarek Sayed Ahmed (Math. Log. Q., 2009)

On neat embeddings of cylindric algebras. - Tarek Sayed Ahmed (Math. Log. Q., 2009)

The class of polyadic algebras has the super amalgamation property. - Tarek Sayed Ahmed (Math. Log. Q., 2010)

Classes of algebras without the amalgamation property. - Tarek Sayed Ahmed (Log. J. IGPL, 2011)

On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras. - Tarek Sayed Ahmed (Math. Log. Q., 2011)

Epimorphisms are not surjective, even in simple algebras. - Tarek Sayed Ahmed (Log. J. IGPL, 2012)

Three interpolation theorems for typeless logics. - Tarek Sayed Ahmed (Log. J. IGPL, 2012)

The NEAT Embedding Problem for Algebras Other than cylindric Algebras and for Infinite Dimensions. - Robin Hirsch; Tarek Sayed Ahmed (J. Symb. Log., 2014)

Varying interpolation and amalgamation in polyadic MV-algebras. - Tarek Sayed Ahmed (J. Appl. Non Class. Logics, 2015)

On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality. - Tarek Sayed Ahmed (Math. Log. Q., 2015)

Neat embeddings as adjoint situations. - Tarek Sayed Ahmed (Synth., 2015)

Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic. - Tarek Sayed Ahmed (J. Appl. Non Class. Logics, 2020)

Omitting types algebraically and more about amalgamation for modal cylindric algebras. - Tarek Sayed Ahmed (Math. Log. Q., 2021)

Notions of representability for cylindric algebras: some algebras are more representable than others. - Tarek Sayed Ahmed (Period. Math. Hung., 2023)