Canonical relativized cylindric set algebras
Author:
Roger D. Maddux
Journal:
Proc. Amer. Math. Soc. 107 (1989), 465-478
MSC:
Primary 03G15
DOI:
https://doi.org/10.1090/S0002-9939-1989-0987611-5
MathSciNet review:
987611
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
Abstract: For every suitable relational structure there is a canonical relativized cylindric set algebra. This construction is used to obtain a generalization of Resek's relative representation theorem, and a stronger version of the "Stone type representation theorem" by Andréka and Thompson.
- [AT] H. Andréka and R. J. Thompson, Stone type representation theorem for algebras of relations of higher rank, Trans. Amer. Math. Soc. (to appear).
- [HR75] Leon Henkin and Diane Resek, Relativization of cylindric algebras, Fund. Math. 82 (1974/75), 363–383. MR 366659, https://doi.org/10.4064/fm-82-4-363-383
- [HMT71] Leon Henkin, J. Donald Monk, and Alfred Tarski, Cylindric algebras. Part I, Studies in Logic and the Foundations of Mathematics, vol. 64, North-Holland Publishing Co., Amsterdam, 1985. With an introductory chapter: General theory of algebras; Reprint of the 1971 original. MR 781929
- [HMT85] Leon Henkin, J. Donald Monk, and Alfred Tarski, Cylindric algebras. Part I, Studies in Logic and the Foundations of Mathematics, vol. 64, North-Holland Publishing Co., Amsterdam, 1985. With an introductory chapter: General theory of algebras; Reprint of the 1971 original. MR 781929
- [M82] Roger Maddux, Some varieties containing relation algebras, Trans. Amer. Math. Soc. 272 (1982), no. 2, 501–526. MR 662049, https://doi.org/10.1090/S0002-9947-1982-0662049-7
- [M89] Roger D. Maddux, Nonfinite axiomatizability results for cylindric and relation algebras, J. Symbolic Logic 54 (1989), no. 3, 951–974. MR 1011183, https://doi.org/10.2307/2274756
- [N86] I. Németi, Free Algebras and Decidability in Algebraic Logic, Doctoral dissertation, Hungarian Academy of Sciences, Budapest, 1986.
- [R75] D. Resek, Some results on relativized cylindric algebras, Doctoral dissertation, University of California, Berkeley, 1975, iii+290.
- [T] Richard J. Thompson, Noncommutative cylindric algebras and relativizations of cylindric algebras, Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic 17 (1988), no. 2, 75–81. MR 974075
Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03G15
Retrieve articles in all journals with MSC: 03G15
Additional Information
DOI:
https://doi.org/10.1090/S0002-9939-1989-0987611-5
Article copyright:
© Copyright 1989
American Mathematical Society