The finite representation property fails for composition and intersection
Logic
2016-04-06 v1
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.
Cite
@article{arxiv.1604.01386,
title = {The finite representation property fails for composition and intersection},
author = {Roger D. Maddux},
journal= {arXiv preprint arXiv:1604.01386},
year = {2016}
}