Skip to main content
SpringerLink
Log in

Weakly representable but not representable relation algebras

  • Published:
algebra universalis Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Andréka, H., Maddux, R. D. andNémeti, I.,Splitting in relation algebras, Proc. Amer. Math. Soc.111 (4) (1991), 1085–1093.

    Google Scholar 

  2. Andréka, H. andNémeti, I.,Axiomatization of identity-free equations valid in relation algebras. Algebra Universalis, to appear.

  3. Greenwood, R. andGleason, A.,Combinatorial relations and chromatic graphs, Can. J. Math.7 (1955), 1–7.

    Google Scholar 

  4. Jónsson, B.,Representation of modular lattices and of relation algebras, Trans. Amer. Math. Soc.92 (1959), 449–464.

    Google Scholar 

  5. Jónsson, B. andTarski, A.,Boolean algebras with operators, Part II, Amer. J. Math.74 (1952), 127–162.

    Google Scholar 

  6. Maddux, R. D.,Topics in relation algebras. Dissertation, University of California, Berkeley, 1978.

    Google Scholar 

  7. Maddux, R. D.,Nonfinite axiomatizability results for cylindric and relation algebras, J. Symb. Logic54 (1989), 951–974.

    Google Scholar 

  8. Monk, J. D.,Nonfinitizability of classes of representable cylindric algebras, J. Symb. Logic34 (1969), 331–343.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hungarian Academy of Sciences, Budapest, Hungary

    H. Andréka

Authors
  1. H. Andréka
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Research supported by Hungarian National Foundation for Scientific Research grants No. 1911 and No. T7255.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01190815

Keywords

Search

Navigation