Abstract
We give an informal description of a recursive representability-preserving reduction of relation algebras to cylindric algebras.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Hirsch, R., Hodkinson, I.: Representability is not decidable for finite relation algebras. Trans. Amer. Math. Soc. 353, 1403–1425 (2001)
Hirsch, R., Hodkinson, I.: Relation algebras by games. Studies in Logic and the Foundations of Mathematics, vol. 147. North-Holland, Amsterdam (2002)
Hodkinson, I.: A construction of cylindric and polyadic algebras from atomic relation algebras. Algebra Universalis 68, 257–285 (2012)
Lyndon, R.: The representation of relational algebras. Annals of Mathematics 51(3), 707–729 (1950)
Maddux, R.D.: Topics in relation algebra. Ph.D. thesis, University of California, Berkeley (1978)
Maddux, R.D.: Non-finite axiomatizability results for cylindric and relation algebras. J. Symbolic Logic 54(3), 951–974 (1989)
Maddux, R.D.: Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections. In: Andréka, H., Monk, J.D., Németi, I. (eds.) Algebraic Logic. Colloq. Math. Soc. J. Bolyai, vol. 54, pp. 361–392. North-Holland, Amsterdam (1991)
Monk, J.D.: Studies in cylindric algebra. Ph.D. thesis, University of California, Berkeley (1961)
Tarski, A.: On the calculus of relations. J. Symbolic Logic 6, 73–89 (1941)
Tarski, A., Givant, S.R.: A formalization of set theory without variables, vol. 41. Colloquium Publications, Amer. Math. Soc., Providence, Rhode Island (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Hodkinson, I. (2015). Connections between Relation Algebras and Cylindric Algebras. In: Kahl, W., Winter, M., Oliveira, J. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2015. Lecture Notes in Computer Science(), vol 9348. Springer, Cham. https://doi.org/10.1007/978-3-319-24704-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-24704-5_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24703-8
Online ISBN: 978-3-319-24704-5
eBook Packages: Computer ScienceComputer Science (R0)