A social choice rule (SCR) $F$ maps preference profiles to lotteries over some finite set of outcomes. $F$ is virtually implementable in (pure and mixed) Nash equilibria provided that for all $\epsilon 0$, there exists a mechanism such that for each preference profile $\theta$, its set of Nash...

In this paper, we re-examine the classical questions of implementation theory under complete information in a setting where coalitions are the fundamental behavioral units and the outcomes of their interactions are predicted by applying the solution concept of the core. The planner's exercise...