Arrow Gibbard Satterthwaite (Q40361)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry ArrowImpossibilityGS
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Arrow Gibbard Satterthwaite |
AFP entry ArrowImpossibilityGS |
Statements
Tobias Nipkow
0 references
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.
0 references
1 September 2008
0 references
Arrow and Gibbard-Satterthwaite (English)
0 references
