(Interim) Bayesian efficiency implies two-agent Bayesian implementation
25 Pages Posted: 5 Mar 2018 Last revised: 27 Jul 2020
Date Written: April 26, 2019
Abstract
We study the relationship between two-agent implementation problems and the notion
of interim efficiency due to Holmström and Myerson (1983) in Bayesian environments
with private values and independent types. We present a general property, Bayesian
efficiency, and show that it is sufficient for implementation of social choice functions.
We also show that this condition is sufficient for implementation of social choice sets
under a weak domain restriction - in particular, no economic condition is required. As
an application, we show that the generalized two-person Nash bargaining solution, due
to Myerson (1984), is Bayesian efficient.
Keywords: Bargaining, Implementation, Decentralization, Incomplete Information, Stochastic Mechanism
JEL Classification: C72, C78, D82, D86
Suggested Citation: Suggested Citation