MAKALELER
- M. Khaled, G. Székely, K. Lefever and M. Friend. Distances between formal theories. Review of Symbolic Logic, to appear.
- M. Khaled and T. Sayed Ahmed (2020). Geometrical representation theorems for cylindric-type algebras. Quaestiones Mathematicae, 43(1), pp. 81-96.
- M. Khaled and I. Németi (2019). Atoms in infinite dimensional free sequence-set algebras. Algebra Universalis, 80(4), 41.
- M. Khaled (2019). The finitely axiomatizable complete theories of non-associative arrow frames. Advances in Mathematics, 346, pp. 194-218 .
- T. Aslan and M. Khaled (2019). Stone type representation theorems via games. Colloquium Mathematicum, 155(1), pp. 141-155.
- 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.
- M. Khaled (2017). General normal forms for any additive logic. Studia Scientiarum Mathematicarum Hungarica, 54(3), pp. 394-409.
- M. Khaled (2017). The free non-commutative cylindric algebras are not atomic. Logic Journal of the IGPL, 25(5), pp. 673–685.
- 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.
- M. Khaled and T. Sayed Ahmed (2009). On complete representations of algebras of logic. Logic Journal of the IGPL, 17(3), pp. 267–272.
- 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.
- M. Khaled and T. Sayed Ahmed (2009). Omitting types algebraically via cylindric algebras. International Journal of Algebra, 3(8), pp. 377–390.
KONFERANS BİLDİRİLERİ
KİTAPLAR
