The Edgeworth exchange formulation of bargaining models and market experiments

We construct Edgeworth exchange economies equivalent to demand and supply environments typically used in bargaining models and market experiments. This formulation clearly delineates environment, institution, and behavior for these models and experiments. To illustrate, we examine results by Gode and Sunder, who simulate random behavior in a double auction and argue that this institution leads to an efficient allocation, even in the absence of rationality. We use the Edgeworth exchange representation of their economic environment to demonstrate that they model individually rational behavior, and show that their model is a special case of theoretical results by Hurwicz, Radner, and Reiter.