Skip to main content
SpringerLink
Log in

Term algebras of elementarily equivalent atom structures

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

We exhibit two relation algebra atom structures such that they are elementarily equivalent but their term algebras are not. This answers Problem 14.19 in Hirsch and Hodkinson’s text Relation Algebras by Games.

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., Németi, I.: Splitting in relation algebras. Proc. Amer. Math. Soc. 111, 1085–1093 (1991)

    Article  MathSciNet  Google Scholar 

  2. Bezhanishvili, N.: Varieties of two-dimensional cylindric algebras. In: Andréka, H., Ferenczi, M., Németi, I. (eds.) Cylindric-like algebras and algebraic logic. Bolyai Society Mathematical Studies, vol. 22, pp. 37–59. Springer, Berlin, Heidelberg, New York (2013)

    Chapter  Google Scholar 

  3. Givant, S.: Advanced topics in relation algebras. Springer, Cham (2017)

    Book  Google Scholar 

  4. Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras Part I. North-Holland, Amsterdam (1971)

    MATH  Google Scholar 

  5. Hirsch, R., Hodkinson, I.: Relation algebras by games. Studies in logic and the foundations of mathematics. North-Holland, Amsterdam (2002)

    MATH  Google Scholar 

  6. Hirsch, R., Hodkinson, I.: Letter to the authors. (October 23 2017)

  7. Jónsson, B., Tarski, A.: Boolean algebras with operators. Part I. Amer. J. Math. 73, 891–939 (1951)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  9. Maddux, R.D.: Some varieties containing relation algebras. Trans. Amer. Math. Soc. 272, 501–526 (1982)

    Article  MathSciNet  Google Scholar 

  10. Maddux, R.D.: Relation algebras. Studies in logic and the foundations of mathematics. North-Holland, Amsterdam (2006)

    Google Scholar 

  11. Simon, A.: Non-representable algebras of relations. PhD Thesis. Hungarian Academy of Sciences, Budapest (1997)

    Google Scholar 

  12. Venema, Y.: Atom structures. In: Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advances in Modal Logic 96, pp. 291–305. CSLI Publications, Stanford (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary

    Hajnal Andréka & István Németi

Authors
  1. Hajnal Andréka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. István Németi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hajnal Andréka.

Additional information

We dedicate this paper to Bjarni Jónsson.

This article is part of the topical collection “In memory of Bjarni Jónsson” edited by J. B. Nation.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Andréka, H., Németi, I. Term algebras of elementarily equivalent atom structures. Algebra Univers. 79, 61 (2018). https://doi.org/10.1007/s00012-018-0540-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00012-018-0540-x

Mathematics Subject Classification

Keywords

Search

Navigation