Galois correspondence for counting quantifiers

Andrei A. Bulatov, Amir Hedayaty

We introduce a new type of closure operator on the set of relations, max-implementation, and its weaker analog max-quantification. Then we show that approximation preserving reduct…