The finite representation property for some reducts of relation algebras
Logic
2020-12-11 v5
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}.
Keywords
Cite
@article{arxiv.2007.13079,
title = {The finite representation property for some reducts of relation algebras},
author = {Daniel Rogozin},
journal= {arXiv preprint arXiv:2007.13079},
year = {2020}
}