The finite representation property for representable residuated semigroups
Daniel Rogozin · arXiv (Cornell University) · 2020
In this paper, we show that the class of representable residuated semigroups, residuated semigroups on binary relations, 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}.