Arrow's Impossibility Theorem

被引:14
|
作者
Wiedijk, Freek [1 ]
机构
[1] Radboud Univ Nijmegen, Inst Comp & Informat Sci, Toernooiveld 1, NL-6525 Nijmegen, Netherlands
来源
FORMALIZED MATHEMATICS | 2007年 / 15卷 / 04期
关键词
D O I
10.2478/v10037-007-0020-9
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
A formalization of the first proof from [6].
引用
收藏
页码:171 / 174
页数:4
相关论文
共 50 条
  • [1] Arrow’s impossibility theorem
    Renuka Ravindran
    [J]. Resonance, 2005, 10 (11) : 18 - 26
  • [2] Arrow's Impossibility Theorem
    Ravindran, Renuka
    [J]. RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2005, 10 (11): : 18 - 26
  • [3] Generic impossibility of Arrow's impossibility theorem
    Noguchi, Mitsunori
    [J]. JOURNAL OF MATHEMATICAL ECONOMICS, 2011, 47 (4-5) : 391 - 400
  • [4] A Comment on Arrow's Impossibility Theorem
    Sandroni, Alec
    Sandroni, Alvaro
    [J]. B E JOURNAL OF THEORETICAL ECONOMICS, 2021, 21 (01): : 347 - 354
  • [5] On a generalization of Arrow's impossibility theorem
    Polyakov, N. L.
    Shamolin, M. V.
    [J]. DOKLADY MATHEMATICS, 2014, 89 (03) : 290 - 292
  • [6] On a generalization of Arrow’s impossibility theorem
    N. L. Polyakov
    M. V. Shamolin
    [J]. Doklady Mathematics, 2014, 89 : 290 - 292
  • [7] Approval voting and Arrow’s impossibility theorem
    François Maniquet
    Philippe Mongin
    [J]. Social Choice and Welfare, 2015, 44 : 519 - 532
  • [8] A proof of Arrow's impossibility theorem by Mathematica
    Takekuma, SI
    [J]. HITOTSUBASHI JOURNAL OF ECONOMICS, 1997, 38 (02) : 139 - 148
  • [9] A pedagogical proof of Arrow's Impossibility Theorem
    Valentino Dardanoni
    [J]. Social Choice and Welfare, 2001, 18 : 107 - 112
  • [10] A pedagogical proof of Arrow's Impossibility Theorem
    Dardanoni, V
    [J]. SOCIAL CHOICE AND WELFARE, 2001, 18 (01) : 107 - 112