Abstract
We prove the existence of non-representable relation algebras the union and complementation free reducts of which can be represented, i.e. which are weakly representable. This answers Problem 3 in Jónsson [4], and has consequences concerning the complexity of the equational theory of representable relation algebras.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Andréka, H., Maddux, R. D. andNémeti, I.,Splitting in relation algebras, Proc. Amer. Math. Soc.111 (4) (1991), 1085–1093.
Andréka, H. andNémeti, I.,Axiomatization of identity-free equations valid in relation algebras. Algebra Universalis, to appear.
Greenwood, R. andGleason, A.,Combinatorial relations and chromatic graphs, Can. J. Math.7 (1955), 1–7.
Jónsson, B.,Representation of modular lattices and of relation algebras, Trans. Amer. Math. Soc.92 (1959), 449–464.
Jónsson, B. andTarski, A.,Boolean algebras with operators, Part II, Amer. J. Math.74 (1952), 127–162.
Maddux, R. D.,Topics in relation algebras. Dissertation, University of California, Berkeley, 1978.
Maddux, R. D.,Nonfinite axiomatizability results for cylindric and relation algebras, J. Symb. Logic54 (1989), 951–974.
Monk, J. D.,Nonfinitizability of classes of representable cylindric algebras, J. Symb. Logic34 (1969), 331–343.
Németi, I.,Algebraizations of quantifier logics, an introductory overview, Studia Logica50 (3–4) (1991), 485–569. Regularly updated version with proofs is available from author.
Schein, B. M.,Representation of reducts of Tarski relation algebras. In: Algebraic Logic (Proc. Conf. Budapest 1988) eds: Andréka, H. Monk, J. D. and Németi, I., Colloq. Math. Soc. J. Bolyai Vol. 54, North-Holland, Amsterdam, 1991, pp. 621–636.
Author information
Authors and Affiliations
Additional information
Research supported by Hungarian National Foundation for Scientific Research grants No. 1911 and No. T7255.
Rights and permissions
About this article
Cite this article
Andréka, H. Weakly representable but not representable relation algebras. Algebra Universalis 32, 31–43 (1994). https://doi.org/10.1007/BF01190815
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01190815