The finite representation property fails for composition and intersection
Roger D. Maddux
所有作者
Roger D. Maddux
文献摘要
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.