Journal of Algebra, Number Theory: Advances and Applications[1] T. Sayed Ahmed, Tarskian algebraic logic, Journal on Relational
Methods in Computer Science 1 (2004), 3-26.
[2] T. Sayed Ahmed, On amalgamation of reducts of polyadic algebras,
Algebra Universalis 51 (2004), 301-359.
[3] T. Sayed Ahmed, Algebraic logic, where does it stand today?
Bulletin of Symbolic Logic 11(4) (2005), 465-516.
[4] H. Andreka, Complexity of equations valin in algebras of
relations, Annals of Pure and Applied Logic 89 (1997), 149-209.
[5] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras Part I,
II, North Holland, 1971, 1985.
[6] D. A. Martin and R. M. Solovay, Internal Cohen extensions, Ann.
Mathematical Logic 2 (1970), 143-178.
[7] A. Miller, Covering 
with 
disjoint closed sets. The Kleene Symposium
(proceedings, Madison, Wisconsin, 1978), Studies in Logic and the
Foundation of Mathematics, Amsterdam, North-Holland, 101 (1980),
415-421.
[8] A. Miller, Characterization of the least cardinal for which the
Baire category theorem fails, Proceedings of the American Mathematical
Society 86 (1982).
[9] I. Németi, Algebraisation of quantifier logics, an introductory
overview, Math. Inst. Budapest, Preprint, No 13-1996, A shortened
version appeared in Studia Logica 50(4) (1991), 465-569.
[10] G. Sagi, On the Finitization Problem in Algebraic Logic, PhD
Dissertation, 1999.
[11] I. Sain and V. Gyuris, Finite schematizable algebraic logic,
Logic Journal of IGPL 5(5) (1997), 699-751.
[12] I. Sain, Searching for a finitizable algebraization of first
order logic, Logic Journal of IGPL, Oxford University Press 8(4)
(2000), 495-589.
