Tarek Sayed Ahmed
18 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Algebras of Sentences Opublikowano w: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 1 / s. 1 - 10ROK: 2006CZYSTY TEKSTBIBTEX
-
A Non-finitizability Result in Algebraic Logic Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / s. 21 - 27ROK: 2007CZYSTY TEKSTBIBTEX
-
A Sufficient and Necessary Condition for Omitting Types Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / s. 23 - 27ROK: 2005CZYSTY TEKSTBIBTEX
-
A Note on Atom Structures of Relation and Cylindric Algebras Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / s. 29 - 35ROK: 2008CZYSTY TEKSTBIBTEX
-
Neat Embedding is not Sufficient for Complete Representability Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / s. 29 - 35ROK: 2007CZYSTY TEKSTBIBTEX
-
An Independence Result in Algebraic Logic Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / s. 29 - 36ROK: 2005CZYSTY TEKSTBIBTEX
-
Classes of Algebras that are not Closed under Completions Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / s. 29 - 43ROK: 2009CZYSTY TEKSTBIBTEX
-
Amalgamation for Reducts of Polyadic Equality Algebras, a Negative Result Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / s. 37 - 50ROK: 2008CZYSTY TEKSTBIBTEX
-
The class of neat reducts is not Boolean closed Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / s. 51 - 61ROK: 2008CZYSTY TEKSTBIBTEX
-
A Confirmation of a Conjecture of Tarski Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / s. 103 - 105ROK: 2003CZYSTY TEKSTBIBTEX
-
Variations on Martin's Axiom and Omitting Types from Algebraic Logic, Lattice Theory and Topology Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 2 / s. 103 - 114ROK: 2008CZYSTY TEKSTBIBTEX
-
Vaught's Theorem holds for L2 but fails for Ln when n > 2 Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 3-4 / s. 107 - 122ROK: 2010CZYSTY TEKSTBIBTEX
-
Classes of Representable Algebras with the Amalgamation property Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 2 / s. 115 - 121ROK: 2008CZYSTY TEKSTBIBTEX
-
Omitting Types for Finite Variable Fragments of First Order Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / s. 122 - 177ROK: 2003CZYSTY TEKSTBIBTEX
-
RaCAn is not elementary, for n>4 Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 2 / s. 123 - 136ROK: 2008CZYSTY TEKSTBIBTEX
-
Neat Embeddings and Amalgamation Opublikowano w: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 4 / s. 163 - 171ROK: 2006CZYSTY TEKSTBIBTEX
-
Omitting Tupes in Fragments and Extensions of First Order Logic Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 3 / s. 249 - 287ROK: 2021CZYSTY TEKSTBIBTEX
-
A Complete Representations and Minimal Completions in Algebraic Logic, both Positive and Negatice Results Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 4 / s. 465 - 511ROK: 2021CZYSTY TEKSTBIBTEX
