Finite Representation Property for Relation Algebra Reducts

Jaš Šemrl

The decision problem of membership in the Representation Class of Relation Algebras (RRA) for finite structures is undecidable. However, this does not hold for many Relation Algebr…