Strategy-proofness and markets

If a market is considered to be a social choice function, then the domain of admissible preferences is restricted and standard social choice theorems do not apply. A substantial body of analysis, however, strongly supports the notion that attractive strategy-proof social choice functions do not exist in market settings. Yet price theory, which implicitly assumes the strategyproofness of markets, performs quite well in describing many real markets. This paper resolves this paradox in two steps. First, given that a market is not strategy-proof, it should be modeled as a Bayesian game of incomplete information. Second, a double auction market, which is perhaps the simplest operationalization of supply and demand as a Bayesian game, is approximately strategy-proof even when the number of traders on each side of the market is quite moderate.