Noncommutative cylindric algebras and relativizations of cylindric algebras

  • Richard J. Thompson
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 425)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AT88]
    Andréka, H., Thompson, R. J., A Stone type representation theorem for algebras of relations of higher rank, Transactions of the American Mathematical Society 309 (2) (October 1988), 671–682.MATHMathSciNetCrossRefGoogle Scholar
  2. [HMT71]
    Henkin, L., Monk, J. D., Tarski, A., “Cylindric algebras, Part I,” North-Holland, Amsterdam, 1971.MATHGoogle Scholar
  3. [HMT85]
    —, “Cylindric algebras, Part II,” North-Holland, Amsterdam, 1985.MATHGoogle Scholar
  4. [HMTAN81]
    Henkin, L., Monk, J.D., Tarski, A., Andreka, H., Németi, I., “Cylindric Set Algebras,” Lecture Notes in Mathematics 883, Springer-Verlag, Berlin, 1981.MATHGoogle Scholar
  5. [HR75]
    Henkin, L., Resek, D., Relativization of cylindric algebras, Fundamenta Mathematica 82 (1975), 363–383.MATHMathSciNetGoogle Scholar
  6. [JT51]
    Jónsson, B., Tarski, A., Boolean algebras with operators, Part I, American Journal of Mathematics 73 (1951), 891–939.MATHMathSciNetCrossRefGoogle Scholar
  7. [M82]
    Maddux, R.D., Some varieties containing relation algebras, Transactions of the American Mathematical Society 272 (1982), 501–526.MATHMathSciNetCrossRefGoogle Scholar
  8. [M89]
    Maddux, R.D., Canonical relativized cylindric set algebras, Proceedings of the American Mathematical Society 107 (1989), 465–478.MATHMathSciNetCrossRefGoogle Scholar
  9. [N80]
    Németi, I., Some constructions of cylindric algebra theory applied to dynamic algebras of programs, Computational Linguistics and Computer Languages 14 (1980), 43–65.MATHMathSciNetGoogle Scholar
  10. [N86]
    Németi, I., “Free algebras and decidability in algebraic logic,” Doctoral Dissertation (B) for D.Sc. (or Dr. Rer. Nat.) with Hung. Acad. of Sci. Budapest, 1986..Google Scholar
  11. [N87]
    Németi, I., Decidability of relation algebras with weakened associativity, Proceedings of the American Mathematical Society 2 (1987), 340–344.CrossRefGoogle Scholar
  12. [R75]
    Resek, D., “Some results on relativized cylindric algebras,” Doctoral Dissertation, University of California, Berkeley, 1975.Google Scholar
  13. [TG87]
    Tarski, A., Givant, S., “A formalization of set theory without variables,” Colloquium Publications in Mathematics 25, American Mathematical Society, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Richard J. Thompson
    • 1
  1. 1.(c/o I. Németi) Mathematical Institute of the Hungarian Academy of SciencesBudapestHungary

Personalised recommendations