Universal classes of simple relation algebras

Journal of Symbolic Logic

Volumn 64, Issue 2, 1999, Pages 575-589

  Givant, Steven ^a  

^a MILLS COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033443493     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586485     Document Type: Article

References (24)

1. H. ANDRÉKA, S. GIVANT, and I. NÉMETI, Decision problems for equational theories of relation algebras, Memoirs of the American Mathematical Society, vol. 604, American Mathematical Society, Providence, RI, 1997.
2. H. ANDRÉKA, B. JÓNSSON, and I. NÉMETI, Free algebras in discriminator varieties, Algebra Universalis, vol. 28 (1991), pp. 401-447.
3. P. BLACKBURN, M. DE RIJKE, and Y. VENEMA, The algebra of modal logic, Technical report IR-370, Department of Computer Science, Free University of Amsterdam, Amsterdam, 1994.
4. K. FINE, Some connections between elementary and modal logic, Proceedings of the third Scandinavian logic symposium (S. Kanger, editor), North-Holland Publishing Company, Amsterdam, 1975, pp. 15-31.
5. R. GOLDBLATT, Varieties of complex algebras, Annals of Pure and Applied Logic, vol. 44 (1989), pp. 173-242.
6. L. HENKIN, J. D. MONK, and A. TARSKI, Cylindric algebras, Part II, Studies in Logic and the Foundations of Mathematics, vol. 115, North-Holland Publishing Company, Amsterdam, 1985.
7. B. JÓNSSON, Representation of modular lattices and of relation algebras, Transactions of the American Mathematical Society, vol. 92 (1959), pp. 449-464.
8. _, Varieties of relation algebras, Algebra Universalis, vol. 15 (1982), pp. 273-298.
9. _, The theory of binary relations, Algebraic logic (H. Andréka, J. D. Monk, and I. Németi, editors), North-Holland Publishing Company, Amsterdam, 1991, pp. 245-292.
10. B. JÓNSSON and A. TARSKI, Boolean algebras with operators, Part I, American Journal of Mathematics, vol. 73 (1951), pp. 891-939.
11. _, Boolean algebras with operators, Part II, American Journal of Mathematics, vol. 74 (1952), pp. 127-162.
12. J. Łoś, Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres, Mathematical interpretation of formal systems, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, 1955, pp. 98-113.
13. R. C. LYNDON, Relation algebras and projective geometries, Michigan Mathematical Journal, vol. 8 (1961), pp. 21-28.
14. R. MADDUX, Embedding modular lattices into relation algebras, Algebra Universalis, vol. 12 (1981), pp. 242-246.
15. R. MCKENZIE, The representation of relation algebras, Doctoral dissertation, University of Colorado at Boulder, Boulder, CO, 1966.
16. J. D. MONK, Connections between combinatorial theory and algebraic logic, Studies in algebraic logic (A. Daigneault, editor), Studies in Mathematics, vol. 9, Mathematical Association of America, Washington D. C., 1974, pp. 58-91.
17. I. NÉMETI, Algebraizations of quantifier logics, an introductory overview, Preprint 50/1993, Mathematical Institute of the Hungarian Academy of Sciences, Budapest, 1993.
18. W. SCHWABHÄUSER, W. SZMIELEW, and A. TARSKI, Metamathematische Methoden in der Geometrie, Hochschultext, Springer-Verlag, Berlin, 1983.
19. A. TARSKI, Contributions to the theory of models, III, Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Mathematical Sciences, vol. 58 (1955), pp. 56-64, Indagationes Mathematicae, vol. 17.
20. A. TARSKI, Contributions to the theory of models, III, Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Mathematical Sciences, vol. 58 (1955), pp. 56-64, Indagationes Mathematicae, vol. 17.
21. A. TARSKI and S. GIVANT, A formalization of set theory without variables, Colloquium Publications, vol. 41, American Mathematical Society, Providence, RI, 1987.
22. J. VAN BENTHEM, Some kinds of modal completeness, Studio Logica, vol. 39 (1980), pp. 125-141.
23. Y. VENEMA, Many-dimensional modal logic, Doctoral dissertation, University of Amsterdam, Amsterdam, 1992.
24. H. WERNER, Discriminator algebras, Studien zur Algebra und ihre Anwendungen, vol. 6, Akademie Verlag, Berlin, 1978.