Generalized Quantifiers: Scope Dominance and Branching
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 $κ$…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.31243
curl -X POST /api/v1/records/arxiv/2609.31243/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.31243/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'