[isabelle] New AFP entry: Arrow's Impossibility Theorem



A new entry has been added to the development version of the Archive of
Formal Proofs:

Arrow and Gibbard-Satterthwaite

This article presents formalizations in higher-order logic of two proofs
of Arrow's impossibility theorem due to Geanakoplos. The
Gibbard-Satterthwaite theorem is derived as a corollary. Lacunae found
in the literature are discussed.

http://afp.sourceforge.net/devel-entries/ArrowImpossibilityGS.shtml

An accompanying paper: http://www.in.tum.de/~nipkow/pubs/arrow.html


Enjoy
Tobias





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.