REFERENCES
- Henkin, L., Monk, J. D., Tarski, A. (1971). Cylindric Algebras Part I. Amsterdam: North Holland.
- Henkin, L., Monk, J. D., Tarski, A. (1985). Cylindric Algebras Part II. Amsterdam: North Holland.
- Hirsch, R., Hodkinson, I., Maddux, R. (2002). On provability with finitely many variables. Bulletin of Symbolic Logic 8(3):329–347.
- Madárasz, J. (1999). Interpolation and amalgamation: Pushing the limits. Part II. Studia Logica 62:1–19.
- Madarász, J., Sayed Ahmed, T. (2007). Amalgamation, interpolation and epimorphisms in algebraic logic. Algebra Universalis 56:179–210.
- Pigozzi, D. (1971). Amalgamation, congruence extension, and interpolation properties in algebras. Algebra Universalis 1:269–349.
- Samir, B. (2009). Amalgamation and Neat Embeddings in Algebraic Logic. Ph.D. dissertation, Egypt: Assiut University, pp. 222.
- Sayed Ahmed, T. (2001). The class of neat reducts is not elementary. Logic Journal of IGPL 9:31–65.
- Sayed Ahmed, T., Németi, I. (2001). On neat reducts of algebras of logic. Studia Logica 62(2):229–262.
- Sayed Ahmed, T. (2002). A Model-theoretic solution to a problem of Tarski. Mathematical Logic Quaterly 48(3):343–355.
- Sayed Ahmed, T. (2002). The class of 2-dimensional neat reducts of polyadic algebras is not elementary. Fundementa Mathematica 172:61–81.
- Sayed Ahmed, T. (2002). Martin's axiom, omitting types and complete representations in algebraic logic. Studia Logica 72:1–25.
- Sayed Ahmed, T. (2003). A confirmation of a conjecture of Tarski. Bulletin Section of Logic 32(3):103–105.
- Sayed Ahmed, T. (2003). Interpolation, omitting types, an overview. Notre Dame Journal of Formal Logic 44(3):157–173.
- Sayed Ahmed, T. (2005). On amalgamation of algebras of logic. Studia Logica 81:61–77.
- Sayed Ahmed, T. (2005). Algebraic logic, where does it stand today? Bulletin of Symbolic Logic 11(4):465–516.
- Sayed Ahmed, T. (2006). Omitting types for algebraizable extensions of first order logic. Journal of Applied Non-Classical Logics 15(4):465–487.
- Sayed Ahmed, T., Samir, B. (2006). Neat embeddings and amalgamation. Bulletin of the Section of Logic 35(4):163–171.
- Sayed Ahmed, T., Samir, B. (2007). A Neat embedding theorem for expansions of cylindric algebras. Logic Journal of IGPL 15:41–51.
- Samir, B. (2014). Classes of algebras with the amalgamation property. Universal Journal of Mathematics and Mathematical Sciences 6(2):75–119.
- Samir, B. (2015). Varieties of algebras without the amalgamation property. Communications in Algebra 43(6):2425–2436.