Tarek Sayed Ahmed
18 articles in 1 journals
-
Algebras of Sentences Published in: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 1 / p. 1 - 102006Plain Text
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 Published in: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / p. 21 - 272007Plain Text
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 Published in: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / p. 23 - 272005Plain Text
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 Published in: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / p. 29 - 352008Plain Text
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 Published in: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / p. 29 - 352007Plain Text
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 Published in: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / p. 29 - 362005Plain Text
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 Published in: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / p. 29 - 432009Plain Text
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 Published in: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / p. 37 - 502008Plain Text
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 Published in: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / p. 51 - 612008Plain Text
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 Published in: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / p. 103 - 1052003Plain Text
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 Published in: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 2 / p. 103 - 1142008Plain Text
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 Published in: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 3-4 / p. 107 - 1222010Plain Text
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 Published in: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 2 / p. 115 - 1212008Plain Text
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 Published in: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / p. 122 - 1772003Plain Text
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 Published in: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 2 / p. 123 - 1362008Plain Text
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 Published in: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 4 / p. 163 - 1712006Plain Text
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 Published in: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 3 / p. 249 - 2872021Plain Text
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 Published in: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 4 / p. 465 - 5112021Plain Text
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" }