Tarek Sayed Ahmed

Identifiers

• name variant Tarek Sayed Ahmed 0.60 · backfill

Papers (55)

1. Hilbert's tenth problem, G\"odel's incompleteness, Halting problem, a unifying perspective math.LO · 2018 · author #1
2. Geometrical representation theorems for cylindric-type algebras math.LO · 2018 · author #2
3. Atom-canonicity in algebraic logic in connection to omitting types in modal fragments of L_{\omega, \omega} math.LO · 2016 · author #1
4. A brief history of algebraic logic from neat embeddings to rainbow constructions math.LO · 2015 · author #1
5. Finite relation algebras and omitting types in modal fragments of first order logic math.LO · 2015 · author #1
6. Splitting methods in algebraic logic: Proving results on non-atom-canonicity, non-finite axiomatizability and non-first oder definability for cylindric and relation algebras math.LO · 2015 · author #1
7. A solution to the finitizability problem for quantifier logics with equality math.LO · 2015 · author #1
8. Problems on neat embeddings solved by rainbow constructions and Monk algebras math.LO · 2015 · author #1
9. Atom-canonicity and complete representations for cylindric-like algebras, and omitting types for the clque guarded fragment of first order logic math.LO · 2014 · author #1
10. Algebraic analysis of temporal and topological finite variable fragments, using cylindric modal algebras math.LO · 2014 · author #1
11. Amalgamation, interpolation and congruence extension properties in topological cylindric algebras math.LO · 2014 · author #1
12. Algebraisable versions of predicate topological logic math.LO · 2014 · author #1
13. Dedekind completions, neat embeddings and omitting types math.LO · 2014 · author #1
14. Cylindric and polyadic algebras, new perspectives math.LO · 2013 · author #1
15. Atom-canonicity, relativized representations and omitting types for clique guarded semantics and guarded logics math.LO · 2013 · author #1
16. Strongly representable atom structures and neat embeddings math.LO · 2013 · author #1
17. On completions, neat embeddings and omittings types, yet again math.LO · 2013 · author #1
18. A polyadic algebra of infinite dimension is completely representable if and only if it is atomic and completely additive math.LO · 2013 · author #1
19. For finite n\geq 3, and k\geq 4, the variety SNr_n\CA_{n+k} is not atom canonical math.LO · 2013 · author #1
20. There is no finite variable axiomatization for various diagonal free algebras math.LO · 2013 · author #1
21. Blowing up and blurring finite Monk and rainbow algebras math.LO · 2013 · author #1
22. Strongly representable algebras math.LO · 2013 · author #1
23. Various interplays between relation and cylindric algebras math.LO · 2013 · author #1
24. On atomicity of free algebras in Boolean algebras with operators, and a new result on Pinter's free algebras math.LO · 2013 · author #1
25. On neat atom structures for cylindric like algebras math.LO · 2013 · author #1
26. Strongly representable atom structures math.LO · 2013 · author #1
27. Blow up and Blur constructions in Algebraic Logic math.LO · 2013 · author #1
28. On completions of algebras in SNr_nCA_{n+k}, n\geq 3, k\geq 1 math.LO · 2013 · author #1
29. Results on Polyadic Algebras math.LO · 2013 · author #1
30. Logics to which the class of neat reducts is sensitive to math.LO · 2013 · author #1
31. The elementary closure of the class Nr_nCA_m for m\geq n+1 is not finitely axiomatizable, futhermore for any finite k\geq 1, there is A\in Nr_{\omega}CA_{\omeg+k}that is not SNr_{\omega}CA_{\omega+k+1} math.LO · 2013 · author #1
32. On finitely generated reducts of polyadic equality algebras math.LO · 2013 · author #1
33. Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras math.LO · 2013 · author #1
34. Polyadic-like algebras without the amalgamation property math.LO · 2013 · author #1
35. Building relativized representations using games math.LO · 2013 · author #1
36. Amalgmation in Boolean algebras with operators math.LO · 2013 · author #1
37. On some open problems in Algebraic logic math.LO · 2013 · author #1
38. Representation theorems in modal logic using algebraic logic math.LO · 2013 · author #1
39. Some metalogical properties for infinitary predicate topological logic math.LO · 2013 · author #1
40. An instance of Vaught's conjecture using algebraic logic math.LO · 2013 · author #2
41. Free algebras, amalgamation, and a theorem of Vaught for many valued logics math.LO · 2013 · author #1
42. Neat atom structures math.LO · 2013 · author #1
43. Quasi-projective relation algebras and directed cylindric algebras are categorially equivalent math.LO · 2013 · author #1
44. Cylindric polyadic algebras have the superamalgamation math.LO · 2013 · author #1
45. Neat embeddings as adjoint situations math.LO · 2013 · author #1
46. Characterizing amalgmation bases for relation, cylindric and polyadic algebras math.LO · 2013 · author #1
47. Interpolation in many valued predicate logics using algebraic logic math.LO · 2013 · author #1
48. The superamalgamation property for reducts of Heyting polyadic algebras with and without equality math.LO · 2013 · author #1
49. On complete representability of Pinter's algebras and related structures math.KT · 2013 · author #1
50. Representations of bounded distributive lattices as the continuous sections of Sheaves based on the Priestly and Zarski topologies math.LO · 2013 · author #1
51. What is the spirit of the cylindric paradigm, as opposed to that of the polyadic one? math.LO · 2013 · author #1
52. On the multi dimensional modal logic of substitutions math.LO · 2013 · author #1
53. On the finitizability problem in algebraic logic; recent results math.LO · 2013 · author #1
54. The class of infinite dimensional quasipolaydic equality algebras is not finitely axiomatizable over its diagonal free reducts math.LO · 2013 · author #1
55. Atomic polyadic algebras of infinite dimension are completely representable math.LO · 2013 · author #1

Mentions

• 1508.05840 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1504.05947 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1503.02189 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1503.00376 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1502.07701 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1408.3282 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1402.5998 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1402.5867 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1401.1156 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1401.1103 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1309.0681 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1308.6165 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1307.4298 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1307.1016 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1306.1464 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1306.1463 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1305.7186 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1305.5269 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1305.5151 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1305.4970 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1305.4570 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1305.4532 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.5421 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.5152 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.3625 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.2932 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.2931 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.2930 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.1576 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.1538 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.1537 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.1441 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.1429 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.1404 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.1149 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.1148 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0958 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0883 #2 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0785 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0761 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0760 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0724 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0714 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0712 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0707 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0619 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1304.0612 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1303.7386 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1302.3043 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1302.1368 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1302.0365 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed
• 1301.5850 #1 · backfill · confidence 0.70 Tarek Sayed Ahmed

Frequent Coauthors

• Mohamed Khaled 2 shared papers
• Mohamed Khalifa 1 shared papers
• Mohammad Assem 1 shared papers
• Mohammed Assem 1 shared papers
• Mohammed Khaled 1 shared papers