Ahmed, T. S., "Omitting types for fragments and extensions of first order logic", Bulletin Section of Logic, vol. 50, issue 3, pp. 249-267, 2021. 9884-article_text-25744-2-10-20211028.pdf
Ahmed, T. S., Blow up and blur constructions in algebraic logic, , Volume dedicated to Andreka and Nemete's work: Hypercomputation to General Relativity Through Algebraic Logic: Springer, 2021. blowupblur3cshorteste10.pdf
Ahmed, T. S., "Omitting types algebraicaly and more about amalgmation for modal cylindric algebras", Mathematical Logic Quarterly, vol. 67, issue 3, pp. 295-312, 2021.
Ahmed, T. S., "The class of polyadic algebras has the super amalgamation property", Mathematical logic Quarterly, vol. 56, issue 1, pp. pp.1-1-112, 2010. tarek_polyadic_algebras_mlq_2010.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., and M. Khaled, "Godel's Theorems and free algebras", https://scholar.cu.edu.eg, 2012. godel2.part1_.pdfgodel2latest.part2_.pdf