TY - RPRT TI - Arity hierarchies for quantifiers closed under partial polymorphisms AU - Anuj Dawar AU - Lauri Hella AU - Benedikt Pago PY - 2025 UR - https://arxiv.org/abs/2511.11326 ID - 2511.11326 ER -