Splitting in relation algebras

Andréka, H.; Maddux, R. D.; Németi, I.

doi:10.1090/S0002-9939-1991-1052567-5

Splitting in relation algebras
HTML articles powered by AMS MathViewer

by H. Andréka, R. D. Maddux and I. Németi PDF

Proc. Amer. Math. Soc. 111 (1991), 1085-1093 Request permission

Abstract:

We define a way, which we call splitting, of getting new relation algebras from old ones. We characterize those algebras to which splitting can be applied. We show how to split representable relation algebras in order to obtain nonrepresentable ones, and we give many examples.

References

Leon Henkin, J. Donald Monk, and Alfred Tarski, Cylindric algebras. Part I, Studies in Logic and the Foundations of Mathematics, vol. 64, North-Holland Publishing Co., Amsterdam, 1985. With an introductory chapter: General theory of algebras; Reprint of the 1971 original. MR 781929
Bjarni Jónsson, Varieties of relation algebras, Algebra Universalis 15 (1982), no. 3, 273–298. MR 689767, DOI 10.1007/BF02483728
R. C. Lyndon, Relation algebras and projective geometries, Michigan Math. J. 8 (1961), 21–28. MR 122743
Roger Maddux, Some varieties containing relation algebras, Trans. Amer. Math. Soc. 272 (1982), no. 2, 501–526. MR 662049, DOI 10.1090/S0002-9947-1982-0662049-7
Roger D. Maddux, Nonfinite axiomatizability results for cylindric and relation algebras, J. Symbolic Logic 54 (1989), no. 3, 951–974. MR 1011183, DOI 10.2307/2274756
Donald Monk, On representable relation algebras, Michigan Math. J. 11 (1964), 207–210. MR 172797