Bayesian implementation in exchange economies with state dependent feasible sets and private information

This paper considers the problem of implementation for exchange economies with state dependent feasible sets. Agents are assumed to have private information about their endowments. We provide necessary and sufficient conditions for social choice rules that are Bayesian implementable by feasible mechanisms for such an environment. We compare our main result to the Nash implementation result derived in an environment of complete information.