We provide a respecification of an integer programming characterization of Arrovian social welfare functions introduced by Sethuraman et al. (Math Oper Res 28:309–326, 2003). By exploiting this respecification, we give a new and simpler proof of Theorem 2 in Kalai and Muller (J Econ Theory 16:457–469, 1977).

中文翻译：

---

Kalai和Muller的可能性定理：简化的整数编程版本

我们提供了由Sethuraman等人介绍的Arrovian社会福利函数的整数编程特征的重新规范。（Math Oper Res 28：309–326，2003）。通过利用这种重新指定，我们在Kalai和Muller中给出了定理2的新的和简单的证明（经济论16：457-469，1977）。