Finite algebras of relations are representable on finite sets

Journal of Symbolic Logic

Volumn 64, Issue 1, 1999, Pages 243-267

  Andreka H ^a   Hodkinson, I ^a   Nemeti I ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040716054     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586762     Document Type: Article

References (26)

1. H. ANDRÉKA, J. VAN BENTHEM, and I. NÉMETI, Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, vol. 27 (1998), pp. 217-274.
2. _, Finite model property of bounded fragment of first-order logic and cylindric-relativized set algebras, Budapest, manuscript, 1995.
3. H. ANDRÉKA, R. GOLDBIATT, and I. NÉMETI, Relativised quantification: some canonical varieties of sequence-set algebras, this JOURNAL, vol. 63 (1998), pp. 163-184.
4. L. HENKIN, J. D. MONK, and A. TARSKI, Cylindric algebras, North-Holland, Amsterdam, 1971 and 1985 (Part I), 1985 (Part II).
5. L. HENKIN, J. D. MONK, and A. TARSKI, Cylindric algebras, North-Holland, Amsterdam, 1971 and 1985 (Part I), 1985 (Part II).
6. L. HENKIN, J. D. MONK, A. TARSKI, H. ANDRÉKA, and I. NÉMETI, Cylindric set algebras, Lecture Notes in Mathematics, vol. 883, Springer-Verlag, Berlin, 1981.
7. B. HERWIG, Extending partial isomorphisms on finite structures, Combinatorica, vol. 15 (1995), pp. 365-371.
8. _, Extending partial isomorphisms for the small index property of many ω-categorical structures, Israel Journal of Mathematics, to appear.
9. B. HERWIG and D. LASCAR, Extending partial isomorphisms and the pro-finite topology on the free groups, in preparation, 1997.
10. R. HIRSCH, I. HODKINSON, M. MARX, S. MIKULÁS, and M. REYNOLDS, Mosaics and step-by-step, appendix to [25], to appear.
11. E. HRUSHOVSKI, Extending partial isomorphisms of graphs, Combinatorica, vol. 12 (1992), pp. 411-416.
12. B. JÓNSSON, The theory of binary relations, Algebraic logic, Colloquia Mathematica Societatis János Bolyai, vol. 54, North-Holland, Amsterdam, 1991, pp. 245-292, proceedings of the 1988 Budapest conference.
13. B. JÓNSSON and A. TARSKI, Boolean algebras with operators, I. American Journal of Mathematics, vol. 73 (1951), pp. 891-939.
14. R. MADDUX, Some varieties containing relation algebras, Transactions of the American Mathematical Society, vol. 272 (1982), no. 2, pp. 501-526.
15. M. MARX and S. MIKULÁS, Decidability of cylindric algebras of dimension two and first order logic with two variables, this JOURNAL, to appear.
16. M. MARX, I. NÉMETI, and I. SAIN, Conjugated Boolean algebras with operators, manuscript, in preparation.
17. S. MIKULÁS, A note on expressing infinity in cylindric-relativized set algebras, in Proceedings of relational methods in computer science (RelMiCS), Hammamet, Tunisia, 1997.
18. J. D. MONK, Remarks on the problems in the books Cylindric algebras, Part I and Part II and Cylindric set algebras, Algebraic logic, Colloquia Mathematica Societatis János Bolyai, vol. 54, North-Holland, Amsterdam, 1991, pp. 719-722.
19. _, Lectures on cylindric set algebras. Algebraic methods in logic and in computer science (C. Rauszer, editor), Banach Center Publications, vol. 28, Institute of Mathematics, Polish Academy of Sciences, Warsaw, 1993, pp. 253-290, proceedings of the Banach semester, Fall 1991.
20. I. NÉMETI, Neither the variety of cylindric algebras nor the variety unrepresentable cylindric algebras is generated by its finite members for dimensions greater than 2, Mathematical Institute, Budapest, preprint, 1984.
21. _, Free algebras and decidability in algebraic logic, Doctoral dissertation with the Academy, Budapest, 1986.
22. _, Decidability of relation algebras with weakened associativity, Proceedings of the American Mathematical Society, vol. 100 (1987), no. 2, pp. 340-344.
23. _, Decidable versions of first-order logic, Logic colloquium '92 (L. Csirmaz, D. Gabbay, and M. de Rijke, editors), CSLI Publications and FoLLI, 1995, pp. 177-241.
24. _, Fine structure analysis of first order logic, Arrow logic and multi-modal logic (M. Marx, L. Pólos, and M. Masuch, editors), CSLI Publications, 1996, pp. 221-247.
25. A. SIMON, Nonrepresentable algebras of relations, Ph.D. dissertation, Budapest, 1997.
26. Y. VENEMA and M. MARX, A modal logic of relations, in Memorial volume for Elena Rasiowa (E. Orlowska, editor), Studia Logic Library, Kluwer, Dordrecht, to appear (Report no. IR-396, Faculteit der Wiskunde en Informatica, Vrije Universiteit Amsterdam, 1995).