The finite representation property for some reducts of relation algebras
Abstract
In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is isomorphic to some algebra over a finite base. This result gives a positive solution to Problem 19.17 from the monograph by Hirsch and Hodkinson \cite{hirsch2002relation}.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2020
- DOI:
- 10.48550/arXiv.2007.13079
- arXiv:
- arXiv:2007.13079
- Bibcode:
- 2020arXiv200713079R
- Keywords:
-
- Mathematics - Logic