References

ON NEAT EMBEDDINGS OF ALGEBRAISATIONS OF FIRST ORDER LOGIC


[1] T. Sayed Ahmed and I. Németi, On neat reducts of algebras of logic, Studia Logica 62(2) (2001), 229-262.

[2] T. Sayed Ahmed, On amalgamation of algebras of logic, Studia Logica 81 (2005), 61-77.

[3] T. Sayed Ahmed, On neat embeddings of cylindric algebras, Mathematical Logic Quarterly (to appear).

[4] H. Andréka, S. Givant, S. Mikulas, I. Németi and A. Simon Notions of density that imply representability in algebraic logic, Annals of Pure and Applied Logic 91 (1998), 93-190.

[5] A. Daigneault and J. D. Monk, Representation theory for polyadic algebras, Fund. Math. 52 (1963), 151-176.

[6] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras Part I, North Holland, 1971.

[7] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras Part II North Holland, 1985.

[8] J. S. Johnson, Amalgamation of polyadic algebras, Trans. Amer. Math. Soc. 49 (1970), 627-652.

[9] D. Pigozzi, Amalgamation, congruence extension, and interpolation properties in algebras, Algebra Universalis 1 (1971), 269-349.