THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS

DOI10.1017/S1755020316000265zbMath1392.03060arXiv1310.5076MaRDI QIDQ5737952

Roger D. Maddux, Jeremy F. Alm, Robin Hirschl

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1310.5076

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Representability of Lyndon-Maddux relation algebras

Cites Work

• Sum-free cyclic multi-bases and constructions of Ramsey algebras
• Relation algebras by games
• Weakly representable but not representable relation algebras
• On the equational complexity of RRA
• Weakly representable relation algebras form a variety
• EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM

This page was built for publication: THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS