×

Some sufficient conditions for the representability of relation algebras. (English) Zbl 0386.03033


MSC:

03G25 Other algebras related to logic
03E20 Other classical set theory (including functions, relations, and set algebra)
03G15 Cylindric and polyadic algebras; relation algebras
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] G. Birkhoff,On the structure of abstract algebras. Proc. Cambridge Philos. Soc.31 (1935), 433–454. · JFM 61.1026.07 · doi:10.1017/S0305004100013463
[2] L. H. Chin andA. Tarski,Distributive and modular laws in the arithmetic of relation algebras. University of California Publications in Mathematics, new series, vol. 1, no. 9 (1951), pp. 341–384. · Zbl 0045.31701
[3] L. Henkin, J. D. Monk andA. Tarski,Cylindric algebras. Part I. North-Holland Publishing Co., Amsterdam, 1971, vi+508 pp. · Zbl 0214.01302
[4] L. Henkin andA. Tarski,Cylindric algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, ed. R. P. Dilworth, American Mathematical Society, Providence, 1961, pp. 83–113. · Zbl 0121.25402
[5] B. Jónsson andA. Tarski,Boolean algebras with operators. Part II. Amer. J. Math.74 (1952), 127–162. · Zbl 0049.15801 · doi:10.2307/2372074
[6] R. C. Lyndon,The representation of relation algebras, II. Ann. of Math. ser. 2,51 (1950), 707–729. · Zbl 0037.29302 · doi:10.2307/1969375
[7] R. Maddux,Another sufficient condition for the representability of relation algebras. Notices Amer. Math. Soc.23 (1976), A-477.
[8] R. Maddux andA. Tarski,A sufficient condition for the representability of relation algebras. Notices Amer. Math. Soc.23 (1976), A-477.
[9] J. D. Monk,On the representation theory for cylindric algebras. Pacific J. Math.11 (1961), 1447–1457. · Zbl 0147.25702
[10] J. D. Monk,Studies in cylindric algebra. Doctoral dissertation, university of California, Berkeley, 1961, vi+83 pp.
[11] J. D. Monk,On representable relation algebras. Michigan Math. J.11 (1964), 207–210. · Zbl 0137.00603 · doi:10.1307/mmj/1028999131
[12] J. D. Monk,Nonfinitizability of classes of representable cylindric algebras. J. Symbolic Logic34 (1969), 331–343. · Zbl 0181.30002 · doi:10.2307/2270900
[13] J. D. Monk,Completions of Boolean algebras with operators. Math. Nachr.46 (1970), 47–55. · Zbl 0182.32301 · doi:10.1002/mana.19700460105
[14] A. Tarski,Some metalogical results concerning the calculus of relations. J. Symbolic Logic18 (1953), 188–189.
[15] A. Tarski,A formalization of set theory without variables. J. Symbolic Logic18 (1953), 189. · Zbl 0654.03036
[16] A. Tarski,Contributions to the theory of models, III. Nederl. Akad. Wetensch. Proc. Ser. A58 (Indag. Math.17) (1955), 56–64.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.