[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.


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


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