On the equational complexity of RRA

DOI10.1007/S00012-012-0210-3zbMATH Open1263.03057arXiv1304.2092OpenAlexW2067989349MaRDI QIDQ1935010FDOQ1935010

Authors: Jeremy F. Alm 

Publication date: 30 January 2013

Published in: Algebra Universalis (Search for Journal in Brave)

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

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

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

zbMATH Keywords

equational complexityrepresentable relation algebras

Mathematics Subject Classification ID

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

Cites Work

• Relation algebras and projective geometries
• Relation algebras by games
• EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM
• On representable relation algebras
• The Nonexistence of Certain Finite Projective Planes
• Title not available (Why is that?)
• Axiomatizability of reducts of algebras of relations
• 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)