Abstract
There is an incomplete atomic relation algebra which is not the reduct of any 4-dimensional cylindric algebra. This completes the answer to a problem in [Mo61].
Similar content being viewed by others
References
Henkin, L., Monk, J. D. andTarski, A.,Cylindric Algebras, Part I, North-Holland, Amsterdam, 1971.
Henkin, L., Monk, J. D. andTarski, A.,Cylindric Algebras, Part II, North-Holland, Amsterdam, 1985.
Maddux, R. D.,Topics in relation algebras, Doctoral dissertation, University of California, Berkeley, 1978, pp. iii+ 241.
Maddux, R. D.,Some varieties containing relation algebras, Transactions of the American Mathematical Society272 (1982), 501–526.
Monk, J. D.,Studies in cylindric algebra, Doctoral Dissertation, University of California, Berkeley, 1961, pp. vi + 83.
Nemeti, I.,Logic with 3 variables has Gödels's incompleteness property — thus free cylindric algebras are not atomic, Preprint No. 49/85 (July 1985), Mathematical Institute of the Hungarian Academy of Sciences, Budapest.
Németi, I.,Free algebras and decidability in algebraic logic, Doctoral dissertation, Hungarian Academy of Sciences, Budapest, 1986.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Maddux, R.D. A relation algebra which is not a cylindric reduct. Algebra Universalis 27, 279–288 (1990). https://doi.org/10.1007/BF01182461
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01182461