Infinitary primitive positive definability over the real numbers with convex relations

Sebastian Meyer

On a finite structure, the polymorphism invariant relations are exactly the primitively positively definable relations. On infinite structures, these two sets of relations are diff…