Coalitional Bayesian Nash implementation in differential information economies

A mechanism

coalitionally implements

a social choice set if any outcome of the social choice set can be achieved as a coalitional Bayesian Nash equilibrium of a mechanism and vice versa. We say that a social choice set is

coalitionally implementable

if there is a mechanism which coalitionally implements it. Our main theorem proves that a social choice set is coalitionally implementable if and only if it is interim individually rational, interim efficient, coalitional Bayesian incentive compatible, and satisfies a coalitional Bayesian monotonicity condition as well as a closure condition. As an application of our main result, we show that the private core and the private Shapley value of an economy with differential information are coalitionally implementable.