There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
classification
🧮 math.LO
math.RA
keywords
representablealgebrasrelationequationalweaklyarbitrarilyaxiomatizationbasis
read the original abstract
We prove that any equational basis that defines RRA over wRRA must contain infinitely many variables. The proof uses a construction of arbitrarily large finite weakly representable but not representable relation algebras whose "small" subalgebras are representable.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.