Generalized Quantifiers: Scope Dominance and Branching
In the authors' words
Let and be proper upward monotone unary generalized quantifiers on a fixed domain . We study the validity, over all structures with domain , of \[ M \models Px Qy R(x,y) \rightarrow Qy Px R(x,y), \] called scope dominance. The iteration of two quantifiers lies between their branching product, which is generated by rectangles, and the dual of the branching product of their duals. We give criteria for equality with these bounds, obtain a new proof of the countable characterization of scope dominance, and characterize the case in which the inner quantifier is "at least many." Under the Generalized Continuum Hypothesis, Goldberg's theorem shows that, for ultrafilters, scope dominance is equivalent to equality between iteration and the branching product, whereas an elementary counterexample on a domain of size shows that this equivalence fails for arbitrary upward monotone quantifiers. For the case where both quantifiers are filters, the question becomes set-theoretic: the existence of a counterexample is equiconsistent with the existence of a measurable cardinal.
Appeared: Monday, September 28. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 16 pages