Abstract
We prove that relation algebras cannot be denned with one variable over the class of semi-associative relation algebras, while it can be defined with equations using two variables, over the class of all Boolean algebras.
Similar content being viewed by others
References
Diamond, A. H. andMcKinsey, J. C. C.,Algebras and their subalgebras, Bull. Amer. Math. Soc53 (1947), 147–154.
Henkin, L., Monk, J. D. andTarski, A.,Cylindric Algebras. Parts I–II, North-Holland, Amsterdam, 1971 and 1985.
Jónsson, B.,Varieties of relation algebras, Algebra Universalis15 (1982), 273–298.
Jónsson, B. andTarski, A.,Boolean algebras with operators. Part I, Am. J. Math.73 (1951), 891–939.
Maddux, R.,Some varieties containing relation algebras, Trans. Amer. Math. Soc.272 (1982), 501–526.
Maddux, R.,A collection of research problems on relation algebras. (Preliminary version-3/22/85), 1985.
Quackenbush, R. W.,Near-Boolean algebras I: Combinatorial aspects, Discrete Mathematics10 (1974), 301–308.
Author information
Authors and Affiliations
Additional information
Research supported by Hungarian National Foundation for Scientific Research grant No. 1810.
Rights and permissions
About this article
Cite this article
Andréka, H. One variable is not enough for defining relation algebras, but two are. Algebra Universalis 28, 274–279 (1991). https://doi.org/10.1007/BF01190856
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01190856