Canonical relativized cylindric set algebras

Maddux, Roger D.

doi:10.1090/S0002-9939-1989-0987611-5

Canonical relativized cylindric set algebras
HTML articles powered by AMS MathViewer

by Roger D. Maddux

Proc. Amer. Math. Soc. 107 (1989), 465-478

DOI: https://doi.org/10.1090/S0002-9939-1989-0987611-5

PDF | Request permission

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.

References

Stone type representation theorem for algebras of relations of higher rank

Leon Henkin and Diane Resek, Relativization of cylindric algebras, Fund. Math. 82 (1974/75), 363–383. MR 366659, DOI 10.4064/fm-82-4-363-383
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
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
Roger Maddux, Some varieties containing relation algebras, Trans. Amer. Math. Soc. 272 (1982), no. 2, 501–526. MR 662049, DOI 10.1090/S0002-9947-1982-0662049-7
Roger D. Maddux, Nonfinite axiomatizability results for cylindric and relation algebras, J. Symbolic Logic 54 (1989), no. 3, 951–974. MR 1011183, DOI 10.2307/2274756

Free Algebras and Decidability in Algebraic Logic

Some results on relativized cylindric algebras

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