Varieties of semiassociative relation algebras and tense algebras

被引:0
作者
Koussas, James M. [1 ]
Kowalski, Tomasz [1 ]
机构
[1] La Trobe Univ, Dept Math & Stat, Bundoora, Vic 3086, Australia
关键词
Semiassociative relation algebras; Tense algebras; Lattices of subvarieties; LATTICE;
D O I
10.1007/s00012-020-0646-9
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
It is well known that the subvariety lattice of the variety of relation algebras has exactly three atoms. The (join-irreducible) covers of two of these atoms are known, but a complete classification of the (join-irreducible) covers of the remaining atom has not yet been found. These statements are also true of a related subvariety lattice, namely the subvariety lattice of the variety of semiassociative relation algebras. The present article shows that this atom has continuum many covers in this subvariety lattice (and in some related subvariety lattices) using a previously established term equivalence between a variety of tense algebras and a variety of semiassociative r-algebras.
引用
收藏
页数:14
相关论文
共 26 条
[1]   THE LATTICE OF VARIETIES OF REPRESENTABLE RELATION ALGEBRAS [J].
ANDREKA, H ;
GIVANT, S ;
NEMETI, I .
JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (02) :631-661
[2]   FREE ALGEBRAS IN DISCRIMINATOR VARIETIES [J].
ANDREKA, H ;
JONSSON, B ;
NEMETI, I .
ALGEBRA UNIVERSALIS, 1991, 28 (03) :401-447
[3]  
Andreka H., 1997, MEMOIRS AM MATH SOC
[4]  
[Anonymous], 1956, NEDERL AKAD WET PROC
[5]  
[Anonymous], THESIS
[6]  
Bjarni J., 1951, Am. J. Math., V73, P127
[7]  
Blackburn P., 2002, Cambridge Tracts in Theoretical Computer Science
[8]   THE LATTICE OF MODAL-LOGICS - AN ALGEBRAIC INVESTIGATION [J].
BLOK, WJ .
JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) :221-236
[9]  
Burris S., A Course in Universal Algebra
[10]  
Chin L.H., 1951, U CALIFORNIA PUBL MA, V1, P341