Ahmed, T. S., A brief history of Tarskian algebraic logic; what happened to algebraic logic since 2004?, , Bulletino del'Union Mthematica Italiana: Springer, In Press. aaaaanveryshort27d.pdf
Ahmed, T. S., "Interpolation and amalgmation in modal cylindric algebras", Questiones mathematicea, vol. 43, issue 9, pp. p.1209-1238, 2020. interpolation_and_amalgamation_in_modal_cylindric_algebras.pdf
Ahmed, T. S., "Existence of finite relation algebras implies failure of the omitting types theorem", Notre Dame of formal logic, vol. 61, issue 4, pp. pp.503--519, 2020. notre00294527-2020-0022.pdf
Ahmed, T. S., "Completions in cylindric and polyadic algebras", https://scholar.cu.edu.eg/, 2021. itabullpart1.pdf
Ahmed, T. S., and M. Khaled, "Godel's Theorems and free algebras", https://scholar.cu.edu.eg, 2012. godel2.part1_.pdfgodel2latest.part2_.pdf
Ahmed, T. S., Omitting types for fragments and extensions of first order logic, , Cairo, Cairo University, pp. 31-65, 18 May 2021. bslarticle2.pdf
Ahmed, T. S., and M. Khaled, Godel's incompleteness and free algebras, , Cairo, Cairo university, 2021. godel2latest.part1_.pdfgodel2latest.part2_.pdf
Ahmed, T. S., "Finite combinatorics and omitting types for multi-modal logic", Logic in Africa event, 18 May 2021.
Ahmed, T. S., "Rainbows and topology applied to Omitting types ", Logic and Relativity , Alfred Renyi, Hungarian acadaemy of Sciences, 4 July 2021.
Tourism