References

ON FINITE AXIOMATIZABILITY OF EXPANSIONS OF CYLINDRIC ALGEBRAS


[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.