Abstract
It is well known that the latticeΛ RA of varieties of relation algebras has exactly three atoms. An unsolved problem, posed by B. Jónsson, is to determine the varieties of height two inΛ RA .
This paper solves the corresponding question for varieties generated by total tense algebras. More specifically, we show that there are exactly four finitely generated varieties and infinitely many nonfinitely generated varieties of height two. In the second half of the paper we show that total tense algebras are term equivalent to certain generalized relation algebras and extend our results to varieties of these algebras.
Similar content being viewed by others
References
Andréka, H., Jónsson, B. andNémeti, I.,Free algebras in discriminator varieties, Algebra Universalis28 (1991), 401–447.
Blok, W. J.,The lattice of modal logics: an algebraic investigation, J. of Symb. Logic45 (2) (1980), 221–236.
Huntington, E. V.,New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia Mathematica, Transactions of the American Mathematical Society35 (1933), 274–304.
Huntington, E. V.,Boolean algebra. A correction, Transactions of the American Mathematical Society35 (1933), 557–558.
Jipsen, P.,Discriminator varieties of Boolean algebras with residuated operators, in: Cecylia Rauszer (ed.),Algebraic Methods in Logic and in Computer Science, Banach Center Publication, Vol. 28, Institute of Math., Polish Academy of Sciences, Warszawa, 1993.
Jipsen, P. andLukács, E.,Minimal relation algebras, Algebra Universalis32, no. 2 (1994), 189–203.
Jónsson, B. andTarski, A.,Boolean algebras wtih operators, Part I, American Journal of Mathematics73 (1951), 891–939.
Jónsson, B. andTarski, A.,Boolean algebras with operators, Part II, American Journal of Mathematics74 (1952), 127–162.
Maddux, R. D.,Topics in relation algebras, Doctoral dissertation, University of California, Berkeley, 1978.
Maddux, R. D.,Some varieties containing relation algebras, Transactions of the American Mathematical Society272, no. 2 (1982), 501–526.
Maddux, R. D.,Necessary subalgebras of simple nonintegral semiassociative relation algebras, Algebra Universalis27 (1990), 544–558.
Maddux, R. D.,Pair-dense relation algebras, Transactions of the American Mathematical Society328, no. 1, (1991), 83–131.
Tuza, Z.,Representations of relation algebras and patterns of coloured triplets, in:Algebraic Logic (Proc. Conf. Budapest 1988, ed. by H. Andréka, J. D. Monk, and I. Németi) Colloq. Math. Soc. J. Bolyai Vol. 54, North-Holland, Amsterdam (1991), 671–693.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jipsen, P., Kramer, R.L. & Maddux, R.D. Total tense algebras and symmetric semiassociative relation algebras. Algebra Universalis 34, 404–423 (1995). https://doi.org/10.1007/BF01182096
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01182096