Atom structures of cylindric algebras and relation algebras

Annals of Pure and Applied Logic

Volumn 89, Issue 2-3, 1997, Pages 117-148

  Hodkinson, Ian ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Atom canonicity; Completions; Representations; Sahlqvist equations

Indexed keywords

EID: 0000497518     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(97)00015-8     Document Type: Article

References (27)

1. H. Andréka, Complexity of equations valid in algebras of relations, Ann. Pure Appl. Logic 89 (1997) 149-209; 211-229. Available by anonymous ftp on circle.math-inst.hu/pub/algebraic-logic/apal1.dvi.
2. H. Andréka, J. van Benthem, I. Németi, Modal languages and bounded fragments of predicate logic, J. Philos. Logic, to appear.
3. H. Andréka, J. van Benthem, I. Németi, Finite model property of bounded fragment of first-order logic and cylindric-relativized set algebras, Budapest, 1995, manuscript.
4. H. Andréka, S. Givant, S. Mikulás, I. Németi, A. Simon, Notions of density that imply representability in algebraic logic, preprint. Available by anonymous ftp on circle.math-inst.hu/pub/algebraic-logic/rect.dense.dvi.gz.
5. J. Barwise, On Moschovakis closure ordinals, J. Symbolic Logic 42 (1977) 292-296.
6. J. van Benthem, Some kinds of modal completeness, Studia Logica 39 (1980) 125-158.
7. R. Goldblatt, Elementary generation and canonicity for varieties of boolean algebras with operators, Algebra Universalis 34 (1995) 551-607.
8. L. Henkin, J.D. Monk, A. Tarski, Cylindric Algebras, Part I, North-Holland, Amsterdam, 1971.
9. R. Hirsch, Complete representations in relation algebra, Bull. Interest Group Propos. Pred. Logics 3 (1995) 77-92.
10. R. Hirsch, I. Hodkinson, Step by Step - Building Representations in Algebraic Logic, J. Symbolic Logic 62 (1997) 225-279.
11. R. Hirsch, I. Hodkinson, Complete representations in algebraic logic, J. Symbolic Logic, to appear.
12. R. Hirsch, I. Hodkinson, Representability is not decidable for finite relation algebras, preprint.
13. R. Hirsch, I. Hodkinson, Relation algebras with n-dimensional relational bases, in preparation.
14. W. Hodges, Model Theory, Cambridge University Press, Cambridge, 1993.
15. B. Jónsson, A. Tarski, Boolean algebras with operators, Part I, American Journal of Mathematics 73 (1951) 891-939. Part II, Amer. J. Math. 74 (1952) 127-162.
16. B. Jónsson, A. Tarski, Boolean algebras with operators, Part I, American Journal of Mathematics 73 (1951) 891-939. Part II, Amer. J. Math. 74 (1952) 127-162.
17. R. Lyndon, The representation of relational algebras, Ann. of Math. 51 (1950) 707-729.
18. R. Maddux, Topics in Relation Algebra, Doctoral Dissertation, University of California, Berkeley, 1978.
19. R. Maddux, Some varieties containing relation algebras, Trans. Amer. Math. Soc. 272 (1982) 501-526.
20. R Maddux, Finite Integral Relation Algebras, in: Universal Algebra and Lattice Theory, Proc. Southeastern Conference in Universal Algebra and Lattice Theory 1984, Lecture Notes in Mathematics, vol. 1149, Springer, Berlin, 1985, pp. 175-197.
21. R. McKenzie, The representation of relation algebras, Ph.D. thesis, University of Colorado at Boulder, 1966.
22. J.D. Monk, On representable relation algebras, Michigan Mathematics J. 11 (1964) 207-210.
23. J.D. Monk, Nonfinitizability of classes of representable cylindric algebras, J. Symbolic Logic 34 (1969) 331-343.
24. J.D. Monk, Completions of boolean algebras with operators, Math. Nachr. 46 (1970) 47-55.
25. M.H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40 (1936) 37-111.
26. Y. Venema, Atom structures and Sahlqvist equations, Algebra Universalis, to appear.
27. Y. Venema, Atom structures, in: Berlin, 1996, M. Kracht, M. de Rijke, H. Wansing, M. Zakharyaschev (Eds.), Advances in Modal Logic '96, CSLI Publications, Stanford, in preparation.