A hardness result for core stability in additive hedonic games

► We settle the complexity of a problem in cooperative game theory. ► We establish connections between logical formulas and coalition formation. ► We identify a natural problem that is complete for the second level of the polynomial hierarchy.