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