Abstract

We study relation algebras with n-dimensional relational bases in the sense of Maddux. Fix n with 3nω. Write Bn for the class of non-associative algebras with an n-dimensional relational basis, and RAn for the variety generated by Bn. We define a notion of relativised representation for algebras in RAn, and use it to give an explicit equational axiomatisation of RAn, and to reprove Maddux's result that RAn is canonical. We show that the algebras in Bn are precisely those that have a complete relativised representation of this type. Then we prove that whenever 4n

Cite Plain text    BibTeX    Formatted text Zotero EndNote Reference Manager RefWorks

Options Edit Mark as duplicate Find it on Scholar Request removal from index Revision history