arXiv:1604.01386 [math.LO]AbstractReferencesReviewsResources
The finite representation property fails for composition and intersection
Published 2016-04-05Version 1
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.
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:math/9905114 [math.LO] (Published 1999-05-19)
Remarks on the intersection of filters
arXiv:1510.00596 [math.LO] (Published 2015-09-30)
Length of an intersection
On \emptyset-definable elements in a field