Article contents
THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS
Published online by Cambridge University Press: 12 August 2016
Abstract
We prove that any equational basis that defines representable relation algebras (RRA) over weakly representable relation algebras (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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2016
References
BIBLIOGRAPHY
- 2
- Cited by