Boolean reducts of relation and cylindric algebras and the cube problem

Andréka, H.

doi:10.1090/S0002-9939-1987-0883419-8

Boolean reducts of relation and cylindric algebras and the cube problem
HTML articles powered by AMS MathViewer

by H. Andréka

Proc. Amer. Math. Soc. 100 (1987), 148-153

DOI: https://doi.org/10.1090/S0002-9939-1987-0883419-8

PDF | Request permission

Abstract:

It is shown that not every Boolean algebra is the Boolean part of a nondiscrete relation or cylindric algebra, but every nonatomless Boolean algebra is. Solutions of Tarski’s Cube Problem for nondiscrete relation and cylindric algebras are given.

References

Gary Brenner, A simple construction for rigid and weakly homogeneous Boolean algebras answering a question of Rubin, Proc. Amer. Math. Soc. 87 (1983), no. 4, 601–606. MR 687625, DOI 10.1090/S0002-9939-1983-0687625-3
Gary Brenner and Donald Monk, Tree algebras and chains, Universal algebra and lattice theory (Puebla, 1982) Lecture Notes in Math., vol. 1004, Springer, Berlin-New York, 1983, pp. 54–66. MR 716174
Stephen D. Comer, Combinatorial aspects of relations, Algebra Universalis 18 (1984), no. 1, 77–94. MR 743458, DOI 10.1007/BF01182249
William Hanf, On some fundamental problems concerning isomorphism of Boolean algebras, Math. Scand. 5 (1957), 205–217. MR 108451, DOI 10.7146/math.scand.a-10496

Cylindric algebras

Leon Henkin, J. Donald Monk, Alfred Tarski, Hajnal Andréka, and István Németi, Cylindric set algebras, Lecture Notes in Mathematics, vol. 883, Springer-Verlag, Berlin-New York, 1981. MR 639151, DOI 10.1007/BFb0095612
Bjarni Jónsson, Varieties of relation algebras, Algebra Universalis 15 (1982), no. 3, 273–298. MR 689767, DOI 10.1007/BF02483728
Bjarni Jónsson and Alfred Tarski, Boolean algebras with operators. II, Amer. J. Math. 74 (1952), 127–162. MR 45086, DOI 10.2307/2372074
Jussi Ketonen, The structure of countable Boolean algebras, Ann. of Math. (2) 108 (1978), no. 1, 41–89. MR 491391, DOI 10.2307/1970929
Roger Maddux, Finite integral relation algebras, Universal algebra and lattice theory (Charleston, S.C., 1984) Lecture Notes in Math., vol. 1149, Springer, Berlin, 1985, pp. 175–197. MR 823016, DOI 10.1007/BFb0098465
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
Ralph McKenzie, Representations of integral relation algebras, Michigan Math. J. 17 (1970), 279–287. MR 286735