On the equational complexity of RRA

DOI10.1007/S00012-012-0210-3MaRDI QIDQ1935010zbMATH OpenOpenAlexFDO

Authors Jeremy F. Alm

Publication date 30 January 2013

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

equational complexityrepresentable relation algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Cylindric and polyadic algebras; relation algebras (03G15)

Abstract: We prove that the equational complexity function for the variety of representable relation algebras is bounded below by a log-log function.

Recommendations

• EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM
• There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations
• scientific article; zbMATH DE number 150219
• Low growth equational complexity

Cites work

• scientific article; zbMATH DE number 67032 (Why is no real title available?)
• Axiomatizability of reducts of algebras of relations
• EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM
• On representable relation algebras
• Relation algebras and projective geometries
• Relation algebras by games
• The Nonexistence of Certain Finite Projective Planes
• Weakly representable but not representable relation algebras
• Weakly representable relation algebras form a variety

Cited in

(2)

• There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
• Low growth equational complexity

This page was built for publication: On the equational complexity of RRA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935010)