Skip to main content Accessibility help
×
Home

Weak representations of relation algebras and relational bases

  • Robin Hirsch (a1), Ian Hodkinson (a2) and Roger D. Maddux (a3)

Abstract

It is known that for all finite n ≥ 5, there are relation algebras with n-dimensional relational bases but no weak representations. We prove that conversely, there are finite weakly representable relation algebras with no n-dimensional relational bases. In symbols: neither of the classes RAn and wRRA contains the other.

Copyright

References

Hide All
[1]Andréka, H., Weakly representable but not representable relation algebras, Algebra Universalis, vol. 32 (1994), pp. 3143.
[2]Haiman, M., Arguesian lattices which are not linear, Bulletin of the American Mathematical Society, vol. 16 (1987), pp. 121123.
[3]Haiman, M., Arguesian lattices which are not type I, Algebra Universalis, vol. 28 (1991), pp. 128137.
[4]Hirsch, R. and Hodkinson, I., Relation algebras by games, Studies in Logic and the Foundations of Mathematics, vol. 147, North-Holland, Amsterdam, 2002.
[5]Hodkinson, I. and Mikulás, Sz., Non-finite axiomatizability of reducís of algebras of relations, Algebra Universalis, vol. 43 (2000), pp. 127156.
[6]Hodkinson, I. and Venema, Y., Canonical varieties with no canonical axiomatisation, Transactions of the American Mathematical Society, vol. 357 (2005), pp. 45794605.
[7]Jónsson, B., Representation of modular lattices and of relation algebras, Transactions of the American Mathematical Society, vol. 92 (1959), pp. 449464.
[8]Jónsson, B., The theory of binary relations, Algebraic logic (Andréka, H., Monk, J. D., and Németi, I., editors), Colloq. Math. Soc. J. Bolyai, vol. 54, North-Holland, Amsterdam, 1991, pp. 245292.
[9]Lyndon, R., The representation of relational algebras, Annals of Mathematics, vol. 51 (1950), no. 3, pp. 707729.
[10]Maddux, R. D., Some varieties containing relation algebras, Transactions of the American Mathematical Society, vol. 272 (1982), no. 2, pp. 501526.
[11]Maddux, R. D., A sequent calculus for relation algebras, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 73101.
[12]Maddux, R. D., Relation algebras of every dimension, this Journal, vol. 57 (1992), pp. 12131229.
[13]Maddux, R. D., Relation algebras, Studies in Logic and the Foundations of Mathematics, vol. 150, Elsevier, Amsterdam, 2006.
[14]Monk, J. D., On representable relation algebras, Michigan Mathematics Journal, vol. 11 (1964), pp. 207210.
[15]Pécsi, B., Weakly representable relation algebras form a variety, Algebra Universalis, vol. 60 (2009), pp. 369380.
[16]Tarski, A. and Givant, S. R., A formalization of set theory without variables, Colloquium Publications, no. 41, American Mathematical Society, Providence, Rhode Island, 1987.

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed