A类箭头和克ibbard公司-S公司阿特斯韦特

托比亚斯·尼普科 🌐

2008年9月1日

摘要

本文形式化了Geanakoplos对Arrow不可能定理的两个证明，并导出了Gibbard-Atterthwaite定理的推论。一种形式化是基于效用函数，另一种形式化是基于严格偏序。

许可证

许可协议

话题

相关出版物

会话箭头不可能GS

引用

× 
@第{条箭头不可能GS-AFP，author={托比亚斯·尼普科}，title={Arrow和Gibbard-Satterthwaite}，journal={正式证据存档}，月={9月}，年份={2008}，注意={\url{https://isa-afp.org/entries/ArrowImpossibilityGS.html}，形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：