Arrow and Gibbard-Satterthwaite

Tobias Nipkow 🌐

September 1, 2008

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

This article formalizes two proofs of Arrow's impossibility theorem due to Geanakoplos and derives the Gibbard-Satterthwaite theorem as a corollary. One formalization is based on utility functions, the other one on strict partial orders.

License

BSD License

Topics

Related publications

Session ArrowImpossibilityGS

Cite

× 
@article{ArrowImpossibilityGS-AFP,
  author  = {Tobias Nipkow},
  title   = {Arrow and Gibbard-Satterthwaite},
  journal = {Archive of Formal Proofs},
  month   = {September},
  year    = {2008},
  note    = {\url{https://isa-afp.org/entries/ArrowImpossibilityGS.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: