Tarek Sayed Ahmed

42 papers Journal 42

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Notions of representability for cylindric algebras: some algebras are more representable than others. Period. Math. Hung. Tarek Sayed Ahmed
2021	J	`jnl`	Omitting types algebraically and more about amalgamation for modal cylindric algebras. Math. Log. Q. Tarek Sayed Ahmed
2020	J	`jnl`	Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic. J. Appl. Non Class. Logics Tarek Sayed Ahmed
2015	J	`jnl`	Neat embeddings as adjoint situations. Synth. Tarek Sayed Ahmed
2015	J	`jnl`	On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality. Math. Log. Q. Tarek Sayed Ahmed
2015	J	`jnl`	Varying interpolation and amalgamation in polyadic MV-algebras. J. Appl. Non Class. Logics Tarek Sayed Ahmed
2014	J	`jnl`	The NEAT Embedding Problem for Algebras Other than cylindric Algebras and for Infinite Dimensions. J. Symb. Log. Robin Hirsch, Tarek Sayed Ahmed
2012	J	`jnl`	Epimorphisms are not surjective, even in simple algebras. Log. J. IGPL Tarek Sayed Ahmed
2012	J	`jnl`	Three interpolation theorems for typeless logics. Log. J. IGPL Tarek Sayed Ahmed
2011	J	`jnl`	Classes of algebras without the amalgamation property. Log. J. IGPL Tarek Sayed Ahmed
2011	J	`jnl`	On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras. Math. Log. Q. Tarek Sayed Ahmed
2010	J	`jnl`	The class of polyadic algebras has the super amalgamation property. Math. Log. Q. Tarek Sayed Ahmed
2009	J	`jnl`	A note on substitutions in representable cylindric algebras. Math. Log. Q. Tarek Sayed Ahmed
2009	J	`jnl`	A simple construction of representable relation algebras with non-representable completions. Math. Log. Q. Tarek Sayed Ahmed
2009	J	`jnl`	Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts. Log. J. IGPL Judit X. Madarász, Tarek Sayed Ahmed
2009	J	`jnl`	Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation. Log. J. IGPL Judit X. Madarász, Tarek Sayed Ahmed
2009	J	`jnl`	On a theorem of Vaught for first order logic with finitely many variables. J. Appl. Non Class. Logics Tarek Sayed Ahmed
2009	J	`jnl`	On complete representations of algebras of logic. Log. J. IGPL Mohamed Khaled, Tarek Sayed Ahmed
2009	J	`jnl`	On neat embeddings of cylindric algebras. Math. Log. Q. Tarek Sayed Ahmed
2008	J	`jnl`	Omitting types for finite variable fragments and complete representations of algebras. J. Symb. Log. Tarek Sayed Ahmed, Hajnal Andréka, István Németi
2008	J	`jnl`	On Complete Representations of Reducts of Polyadic Algebras. Stud Logica Tarek Sayed Ahmed
2008	J	`jnl`	The Class Log. J. IGPL Tarek Sayed Ahmed, Basim Samir
2008	J	`jnl`	Weakly representable atom structures that are not strongly representable, with an application to first order logic. Math. Log. Q. Tarek Sayed Ahmed
2007	J	`jnl`	A Neat Embedding Theorem for Expansions of Cylindric Algebras. Log. J. IGPL Tarek Sayed Ahmed, Basim Samir
2007	J	`jnl`	A Note on Neat Reducts. Stud Logica Tarek Sayed Ahmed
2007	J	`jnl`	An Interpolation Theorem for First Order Logic with Infinitary Predicates. Log. J. IGPL Tarek Sayed Ahmed
2007	J	`jnl`	An Omitting Types Theorem for first order logic with infinitary relation symbols. Math. Log. Q. Tarek Sayed Ahmed, Basim Samir
2007	J	`jnl`	An atomic theory with no prime models. Australas. J. Log. Tarek Sayed Ahmed
2007	J	`jnl`	On Neat Reducts and Amalgamation. Log. J. IGPL Tarek Sayed Ahmed
2006	J	`jnl`	Independence Results in Algebraic Logic. Log. J. IGPL Tarek Sayed Ahmed
2006	J	`jnl`	Polyadic and cylindric algebras of sentences. Math. Log. Q. Mohamed A. Amer, Tarek Sayed Ahmed
2006	J	`jnl`	Some Results on Amalgamation in Algebraic Logic. Log. J. IGPL Tarek Sayed Ahmed
2006	J	`jnl`	The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable. Math. Log. Q. Tarek Sayed Ahmed
2005	J	`jnl`	Algebraic logic, where does it stand today? Bull. Symb. Log. Tarek Sayed Ahmed
2005	J	`jnl`	Amalgamation Theorems in Algebraic Logic, an overview. Log. J. IGPL Tarek Sayed Ahmed
2005	J	`jnl`	Omitting types for algebraizable extensions of first order logic. J. Appl. Non Class. Logics Tarek Sayed Ahmed
2005	J	`jnl`	On Amalgamation in Algebras of Logic. Stud Logica Tarek Sayed Ahmed
2003	J	`jnl`	Neat Embeddings, Omitting Types, and Interpolation: An Overview. Notre Dame J. Formal Log. Tarek Sayed Ahmed
2002	J	`jnl`	A Modeltheoretic Solution to a Problem of Tarski. Math. Log. Q. Tarek Sayed Ahmed
2002	J	`jnl`	Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. Stud Logica Tarek Sayed Ahmed
2001	J	`jnl`	On Neat Reducts of Algebras of Logic. Stud Logica Tarek Sayed Ahmed, István Németi
2001	J	`jnl`	The Class of Neat Reducts is Not Elementary. Log. J. IGPL Tarek Sayed Ahmed