Polynomial definability in constraint languages with few subpowers

Jakub Bulín, Michael Kompatscher

A first-order formula is called primitive positive (pp) if it only admits the use of existential quantifiers and conjunction. Pp-formulas are a central concept in (fixed-template)…