A dichotomy in classifying quantifiers for finite models

Mor Doron, Saharon Shelah

We consider a family U of finite universes. The second order quantifier Q_R, means for each u in U quantifying over a set of n(R)-place relations isomorphic to a given relation. We…