Hart‐Mas-Colell implementation of the discounted Shapley value

We consider an implementation of the discounted Shapley value. We modify the Hart–Mas‐Colell model such that each player discounts future payoffs and proposes not only an allocation, but also a coalition. We show that the discounted Shapley value is supported by each stationary subgame perfect equilibrium of the modified game such that in each subgame, the coalition that consists of all active players immediately forms. We also provide conditions for such a stationary subgame perfect equilibrium to exist.