Corrigenda in economic theory

This page collects examples of proofs in economics which have been subsequently corrected. Please contribute your own examples.

• Serrano-Clippel: Example 1 of ]] is a four-player instance of a case in which Theorem 2 of [[ does not apply. This theorem was proved in the three-player cases, and the proof was supposed to be easily extensible to the general case. The examples shows that additional assumptions are needed to do that.

• In the matching literature, Aygün and Sönmez (2013) identify a hidden assumption in Hatfield and Milgrom (2005) – which they view as “widely considered to be one of the most important advances of the last two decades in matching theory” – without which many of their results fail to hold. The oversight arose from “an ambiguity in setting the primitives of the model” – something that would be hard to do with a mechanized reasoner.