2016/04/27 by Alm, Jeremy F.
#03G15 #FOS: Mathematics #Logic (math.LO) #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.1604.08227
This is the author's 2004 Master's thesis at Iowa State University, done under the supervision of Roger D. Maddux. It provides a background in relation algebras. Three results from the literature are demonstrated in full: (i.) RRA is a variety. (ii.) RRA is not finitely based. (iii.) Any equational basis for RRA has infinitely many variables. We also give an elementary proof of Birkoff's variety theorem.