{"id":"arxiv/2609.31243","url":"https://arxiv.org/abs/2609.31243","tags":["math.LO"],"score":0,"title":"Generalized Quantifiers: Scope Dominance and Branching","domain":"math.LO","source":"arxiv","authors":["Fredrik Engström"],"reviews":0,"subject":"math.LO","summary":"Let $P$ and $Q$ be proper upward monotone unary generalized quantifiers on a fixed domain $D$. We study the validity, over all structures $M$ with domain $D$, 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 $κ$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}