Assist. Prof. Mohamed Khalifa

Bahçeşehir University, Faculty of Engineering and Natural Sciences

Mathematics Department


  1. M. Khaled, G. Székely, K. Lefever and M. Friend. Distances between formal theories. Review of Symbolic Logic, to appear.
  2. M. Khaled and T. Sayed Ahmed (2020). Geometrical representation theorems for cylindric-type algebras. Quaestiones Mathematicae, 43(1), pp. 81-96.
  3. M. Khaled and I. Németi (2019). Atoms in infinite dimensional free sequence-set algebras. Algebra Universalis, 80(4), 41.
  4. M. Khaled (2019). The finitely axiomatizable complete theories of non-associative arrow frames. Advances in Mathematics, 346, pp. 194-218 .
  5. T. Aslan and M. Khaled (2019). Stone type representation theorems via games. Colloquium Mathematicum, 155(1), pp. 141-155.
  6. A. Banerjee and M. Khaled (2018). First order logic without equality on relativized semantics. Annals of Pure and Applied Logic, 169 (11), pp. 1227-1242.
  7. M. Khaled (2017). General normal forms for any additive logic. Studia Scientiarum Mathematicarum Hungarica, 54(3), pp. 394-409.
  8. M. Khaled (2017). The free non-commutative cylindric algebras are not atomic. Logic Journal of the IGPL, 25(5), pp. 673–685.
  9. M. Khaled and T. Sayed Ahmed (2010). Vaught’s theorem holds for L2 but fails for Ln when n>2. Bulletin of the Section of Logic, 39(3-4), pp. 107–122.
  10. M. Khaled and T. Sayed Ahmed (2009). On complete representations of algebras of logic. Logic Journal of the IGPL, 17(3), pp. 267–272.
  11. M. Khaled and T. Sayed Ahmed (2009). Classes of algebras that are not closed under completions. Bulletin of the Section of Logic, 38(1-2), pp. 29–43.
  12. M. Khaled and T. Sayed Ahmed (2009). Omitting types algebraically via cylindric algebras. International Journal of Algebra, 3(8), pp. 377–390.