Dr. Tarek Sayed Ahmed
Professor of Mathematics
(email)
Ahmed, T. S.,
"
Notions of representability for cylindric algebras: some algebras are more representable than others
",
Periodica Mathematica Hungarica
, vol. 86, pp. 343-377, 2022.
tarek_2022_july_21.pdf
tarek_2022_july_21.pdf
Ahmed, T. S.,
"
Complete Representations and Neat Embeddings
",
Bulletin of the Section of Logic
, vol. 51, issue 3, pp. 411-453, 2022.
tarek_2022_sept_9.pdf
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.,
"
Degrees of representability for cylindric algebras--some algebras are more representable then others
",
Hungarica Periodica Journal of mathemtics
, vol. on line, 2002.
hungperiodica3.pdf
hungperiodicas10998-022-00477-3.pdf
Ahmed, T. S.,
"
On complete representations and minimal completions for cylindric like algebras-both positive and negative results
",
Bulletin section of logic
, vol. 1, issue 50, pp. 465-511, 2021.
8145-article_text-26603-1-10-20210720_5.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
,
Omitting types for modal cylindric algebras and more on amalgamation for such algebras
,
, in press: Taylor and Francis, 2020.
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
Publications
Bio
Classes