Axiomatic foundations of the core for games in effectiveness form

We provide an axiomatic characterization of the core of games in effectiveness form. We point out that the core, whenever it applies to appropriate classes of these games, coincides with a wide variety of prominent stability concepts in social choice and game theory, such as the Condorcet winner, the Nash equilibrium, pairwise stability, and stable matchings, among others. Our characterization of the core invokes the axioms of weak nonemptiness, coalitional unanimity, and Maskin monotonicity together with a principle of independence of irrelevant states, and uses in its proof a holdover property echoing the conventional ancestor property. Taking special cases of this general characterization of the core, we derive new characterizations of the previously mentioned stability concepts.