The finite representation property fails for composition and intersection

2016/04/05 by Maddux, Roger D.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1604.01386

Abstract

The title theorem is proved by example: an algebra of binary relations, closed under intersection and composition, that is not isomorphic to any such algebra on a finite set.

Related

• Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference
• Finite Representation Property for Relation Algebra Reducts
• Commutative algebras and representations of the category of finite sets
• The finite representation property for some reducts of relation algebras
• On algebras that almost have finite dimensional representations