Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 

 

Some varieties containing relation algebras


Author: Roger Maddux
Journal: Trans. Amer. Math. Soc. 272 (1982), 501-526
MSC: Primary 03G15; Secondary 03G25, 06E99, 08C10
MathSciNet review: 662049
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Three varieties of algebras are introduced which extend the variety $ RA$ of relation algebras. They are obtained from $ RA$ by weakening the associative law for relative product, and are consequently called nonassociative, weakly-associative and semiassociative relation algebras, or $ NA$, $ WA$, and $ SA$, respectively. Each of these varieties arises naturally in solving various problems concerning relation algebras. We show, for example, that $ WA$ is the only one of these varieties which is closed under the formation of complex algebras of atom structures of algebras, and that $ WA$ is the closure of the variety of representable $ RA$'s under relativization. The paper also contains a study of the elementary theories of these varieties, various representation theorems, and numerous examples.


References [Enhancements On Off] (What's this?)

  • [1] Louise H. Chin and Alfred Tarski, Distributive and modular laws in the arithmetic of relation algebras, Univ. California Publ. Math. (N.S.) 1 (1951), 341–384. MR 0043763
  • [2] G. Grätzer, Universal algebra, 2nd ed., Van Nostrand, Princeton, N. J., 1978.
  • [3] Leon Henkin, Internal semantics and algebraic logic, Truth, syntax and modality (Proc. Conf. Alternative Semantics, Temple Univ., Philadelphia, Pa., 1970) North-Holland, Amsterdam, 1973, pp. 111–127. Studies in Logic and the Foundations of Math., Vol. 68. MR 0392564
  • [4] Leon Henkin, J. Donald Monk, and Alfred Tarski, Cylindric algebras. Part I. With an introductory chapter: General theory of algebras, North-Holland Publishing Co., Amsterdam-London, 1971. Studies in Logic and the Foundations of Mathematics, Vol. 64. MR 0314620
  • [5] Leon Henkin and Diane Resek, Relativization of cylindric algebras, Fund. Math. 82 (1974/75), 363–383. Collection of articles dedicated to Andrzej Mostowski on his sixtieth birthday, VIII. MR 0366659
  • [6] Bjarni Jónsson and Alfred Tarski, Boolean algebras with operators. I, Amer. J. Math. 73 (1951), 891–939. MR 0044502
  • [7] Bjarni Jónsson and Alfred Tarski, Boolean algebras with operators. II, Amer. J. Math. 74 (1952), 127–162. MR 0045086
  • [8] Roger C. Lyndon, The representation of relational algebras, Ann. of Math. (2) 51 (1950), 707–729. MR 0037278
  • [9] R. C. Lyndon, Relation algebras and projective geometries, Michigan Math. J. 8 (1961), 21–28. MR 0122743
  • [10] R. Maddux, Some nonrepresentable relation algebras, Notices Amer. Math. Soc. 23 (1976), A-431, Abstract A-557.
  • [11] Roger Maddux, Some sufficient conditions for the representability of relation algebras, Algebra Universalis 8 (1978), no. 2, 162–172. MR 0460210
  • [12] -, Topics in relation algebras, Doctoral dissertation, University of California, Berkeley, 1978.
  • [13] R. N. W. McKenzie, The representation of relation algebras, Doctoral dissertation, University of Colorado, Boulder, 1966.
  • [14] Donald Monk, On representable relation algebras, Michigan Math. J. 11 (1964), 207–210. MR 0172797
  • [15] D. Resek, Some results on relativized cylindric algebras, Doctoral dissertation, University of California, Berkeley, 1975.
  • [16] Roman Sikorski, Boolean algebras, Third edition. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 25, Springer-Verlag New York Inc., New York, 1969. MR 0242724
  • [17] Alfred Tarski, Contributions to the theory of models. III, Nederl. Akad. Wetensch. Proc. Ser. A. 58 (1955), 56–64 = Indagationes Math. 17, 56–64 (1955). MR 0066303

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03G15, 03G25, 06E99, 08C10

Retrieve articles in all journals with MSC: 03G15, 03G25, 06E99, 08C10


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1982-0662049-7
Keywords: Relation algebra, Boolean algebra with operators, relativization, complex algebra
Article copyright: © Copyright 1982 American Mathematical Society