Almost All Complex Quantifiers Are Simple

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We prove that PTIME generalized quantifiers are closed under Boolean operations, iteration, cumulation and resumption.