Ahmed, T. S., Non first order definability of classes of algebras having a neat embedding property , , Journal of applied non classical logic: Taylor and Francis, In Press. bsl3.pdf
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.