Coalition-proof equilibrium

We characterize the set of agreements that the players of a non-cooperative game may reach when they have the opportunity to communicate prior to play. We show that communication allows the players to correlate their actions. Therefore, we take the set of correlated strategies as the space of agreements. Since we consider situations where agreements are non-binding, they must not be subject to profitable self-enforcing deviations by coalitions of players. A coalition-proof equilibrium is a correlated strategy from which no coalition has an improving and self-enforcing deviation. A coalition-proof equilibrium exists when there is a correlated strategy which (i) has a support contained in the set of actions that survive the iterated elimination of strictly dominated strategies, and (ii) weakly Pareto dominates every other correlated strategy whose support is contained in that set. Consequently, the unique equilibrium of a dominance solvable game is coalition-proof.