Tarek Sayed Ahmed
18 artykuły w 1 czasopismach
-
Algebras of Sentences Opublikowano w: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 1 / s. 1 - 102006CZYSTY TEKST
Tarek Sayed Ahmed, Algebras of Sentences, Bulletin of the Section of Logic, 2006 / Tom 35 / Numer 1, s. 1 - 10
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Algebras of Sentences", journal = "Bulletin of the Section of Logic", issue = "2006 / Tom 35 / Numer 1", pages = "1 - 10" }
-
A Non-finitizability Result in Algebraic Logic Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / s. 21 - 272007CZYSTY TEKST
Tarek Sayed Ahmed, A Non-finitizability Result in Algebraic Logic, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 21 - 27
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "A Non-finitizability Result in Algebraic Logic", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "21 - 27" }
-
A Sufficient and Necessary Condition for Omitting Types Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / s. 23 - 272005CZYSTY TEKST
Tarek Sayed Ahmed, A Sufficient and Necessary Condition for Omitting Types, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 1, s. 23 - 27
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "A Sufficient and Necessary Condition for Omitting Types", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 1", pages = "23 - 27" }
-
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 - 352008CZYSTY TEKST
Tarek Sayed Ahmed, A Note on Atom Structures of Relation and Cylindric Algebras, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 1, s. 29 - 35
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "A Note on Atom Structures of Relation and Cylindric Algebras", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 1", pages = "29 - 35" }
-
Neat Embedding is not Sufficient for Complete Representability Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / s. 29 - 352007CZYSTY TEKST
Tarek Sayed Ahmed, Neat Embedding is not Sufficient for Complete Representability, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 29 - 35
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Neat Embedding is not Sufficient for Complete Representability", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "29 - 35" }
-
An Independence Result in Algebraic Logic Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / s. 29 - 362005CZYSTY TEKST
Tarek Sayed Ahmed, An Independence Result in Algebraic Logic, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 1, s. 29 - 36
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "An Independence Result in Algebraic Logic", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 1", pages = "29 - 36" }
-
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 - 432009CZYSTY TEKST
Tarek Sayed Ahmed, Mohamed Khaled, Classes of Algebras that are not Closed under Completions, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 29 - 43
BIBTEX@Article{ authors = " Tarek Sayed Ahmed, Mohamed Khaled", title = "Classes of Algebras that are not Closed under Completions", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "29 - 43" }
-
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 - 502008CZYSTY TEKST
Tarek Sayed Ahmed, Amalgamation for Reducts of Polyadic Equality Algebras, a Negative Result, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 1, s. 37 - 50
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Amalgamation for Reducts of Polyadic Equality Algebras, a Negative Result", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 1", pages = "37 - 50" }
-
The class of neat reducts is not Boolean closed Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / s. 51 - 612008CZYSTY TEKST
Tarek Sayed Ahmed, The class of neat reducts is not Boolean closed, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 1, s. 51 - 61
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "The class of neat reducts is not Boolean closed", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 1", pages = "51 - 61" }
-
A Confirmation of a Conjecture of Tarski Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / s. 103 - 1052003CZYSTY TEKST
Tarek Sayed Ahmed, A Confirmation of a Conjecture of Tarski, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 103 - 105
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "A Confirmation of a Conjecture of Tarski", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "103 - 105" }
-
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 - 1142008CZYSTY TEKST
Tarek Sayed Ahmed, Variations on Martin's Axiom and Omitting Types from Algebraic Logic, Lattice Theory and Topology, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 2, s. 103 - 114
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Variations on Martin's Axiom and Omitting Types from Algebraic Logic, Lattice Theory and Topology", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 2", pages = "103 - 114" }
-
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 - 1222010CZYSTY TEKST
Tarek Sayed Ahmed, Mohamed Khaled, Vaught's Theorem holds for L2 but fails for Ln when n > 2, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 107 - 122
BIBTEX@Article{ authors = " Tarek Sayed Ahmed, Mohamed Khaled", title = "Vaught's Theorem holds for L2 but fails for Ln when n > 2", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "107 - 122" }
-
Classes of Representable Algebras with the Amalgamation property Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 2 / s. 115 - 1212008CZYSTY TEKST
Tarek Sayed Ahmed, Classes of Representable Algebras with the Amalgamation property, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 2, s. 115 - 121
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Classes of Representable Algebras with the Amalgamation property", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 2", pages = "115 - 121" }
-
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 - 1772003CZYSTY TEKST
Tarek Sayed Ahmed, Omitting Types for Finite Variable Fragments of First Order Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 122 - 177
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Omitting Types for Finite Variable Fragments of First Order Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "122 - 177" }
-
RaCAn is not elementary, for n>4 Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 2 / s. 123 - 1362008CZYSTY TEKST
Tarek Sayed Ahmed, RaCAn is not elementary, for n>4, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 2, s. 123 - 136
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "RaCAn is not elementary, for n>4", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 2", pages = "123 - 136" }
-
Neat Embeddings and Amalgamation Opublikowano w: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 4 / s. 163 - 1712006CZYSTY TEKST
Tarek Sayed Ahmed, Basim Samir, Neat Embeddings and Amalgamation, Bulletin of the Section of Logic, 2006 / Tom 35 / Numer 4, s. 163 - 171
BIBTEX@Article{ authors = " Tarek Sayed Ahmed, Basim Samir", title = "Neat Embeddings and Amalgamation", journal = "Bulletin of the Section of Logic", issue = "2006 / Tom 35 / Numer 4", pages = "163 - 171" }
-
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 - 2872021CZYSTY TEKST
Tarek Sayed Ahmed, Omitting Tupes in Fragments and Extensions of First Order Logic , Bulletin of the Section of Logic, 2021 / Tom 50 / Numer 3, s. 249 - 287
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Omitting Tupes in Fragments and Extensions of First Order Logic ", journal = "Bulletin of the Section of Logic", issue = "2021 / Tom 50 / Numer 3", pages = "249 - 287" }
-
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 - 5112021CZYSTY TEKST
Tarek Sayed Ahmed, A Complete Representations and Minimal Completions in Algebraic Logic, both Positive and Negatice Results , Bulletin of the Section of Logic, 2021 / Tom 50 / Numer 4, s. 465 - 511
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "A Complete Representations and Minimal Completions in Algebraic Logic, both Positive and Negatice Results ", journal = "Bulletin of the Section of Logic", issue = "2021 / Tom 50 / Numer 4", pages = "465 - 511" }
