Back to Search
Start Over
THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS.
- Source :
-
Review of Symbolic Logic . Sep2016, Vol. 9 Issue 3, p511-521. 11p. - Publication Year :
- 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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *ALGEBRAIC logic
*RELATION algebras
*MATHEMATICAL variables
*EQUATIONS
*MATHEMATICS
Subjects
Details
- Language :
- English
- ISSN :
- 17550203
- Volume :
- 9
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- Review of Symbolic Logic
- Publication Type :
- Academic Journal
- Accession number :
- 118003910
- Full Text :
- https://doi.org/10.1017/S1755020316000265