Global IIA, Sen’s Impossibility Theorem and State-Salient Decision Rules

We present a simple proof of the well-known axiomatic characterization of state-salient decision rules on the domain of all strict preference profiles, using Pareto property and Global Independence of Irrelevant Alternatives. Our proof appeals to Sen’s Impossibility Theorem and an extract from a proof of the same theorem, that is available in an earlier paper of this author.