Ordering finite variable types with generalized quantifiers (original) (raw)

Let Q be a nite set of generalized quanti ers. By L k (Q) we denote the k-variable fragment of FO(Q), rst order logic extended with Q. We show that for each k, there is a PFP(Q)-de nable linear pre-order whose equivalence classes in any nite structure A are the L k (Q)-types in A. For some special classes of generalized quanti ers Q, we show that such an ordering of L k (Q)-types is already de nable in IFP(Q). As applications of the above results, we prove some generalizations of the Abiteboul-Vianu theorem. For instance, we show that for any nite set Q of modular counting quanti ers, P = PSPACE if, and only if, IFP(Q) = PFP(Q) over nite structures. On the other hand, we show that an ordering of L k (Q)-types is not always de nable in IFP(Q). Indeed, we construct a single, polynomial time computable quanti er P such that the equivalence relation k;P , and hence ordering on L k (P)-types, is not de nable in IFP(P).