2000 character limit reached
The finite representation property fails for composition and intersection
Published 5 Apr 2016 in math.LO | (1604.01386v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.