萨特思韦特吉伯德

阿罗和Gibbard Satterthwaite。本文对Geanakoplos的箭不可能性定理进行了形式化证明,导出了Gibald-萨特思韦特定理作为推论。一种形式化是基于效用函数的,另一种是基于严格偏序的形式化。