# Arrow and Gibbard-Satterthwaite

 Title: Arrow and Gibbard-Satterthwaite Author: Tobias Nipkow Submission date: 2008-09-01 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.An article about these proofs is found here. BibTeX: @article{ArrowImpossibilityGS-AFP, author = {Tobias Nipkow}, title = {Arrow and Gibbard-Satterthwaite}, journal = {Archive of Formal Proofs}, month = sep, year = 2008, note = {\url{http://isa-afp.org/entries/ArrowImpossibilityGS.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License