<p>We can talk of the core for any arbitrary game. To explain how let me compare it directly to how we define non-cooperative games. In a standard non-cooperative game we define Players, <span class="math-container">$I$</span>, action sets for each player, <span class="math-container">$A_i$</span> for each <span class="math-container">$i\in I$</span> and payoff functions that map any profile of actions to payoffs <span class="math-container">$u_i: A\rightarrow \mathbb{R}$</span>, where <span class="math-container">$A=\prod_{i\in I} A_i$</span>. Finally the solution concept, for example, Nash equilibrium, correlated equilibrium or rationalizability is a condition on these objects that we think are a good prediction of what will happen. For instance, Nash equilibrium predicts that every player is best responding to a correct belief about what other players are doing. </p>

<p>The  Core is another solution concept, however, the language developed so far is not sufficient, because the idea of the core is that it predicts that no group of people (or coalition) will have a profitable deviation. It is clear that now the unit of analysis are groups of people, so the "agents" in this setup are the elements of <span class="math-container">$P(I)$</span>, the power set of <span class="math-container">$I$</span>, which contains all possible groups of people, so you will need to define the action sets for each of these groups. A natural way could be that if <span class="math-container">$C\in P(I)$</span> then <span class="math-container">$A_C=\prod_{i\in I\cap C} A_i$</span>, i.e. the coalition <span class="math-container">$C$</span> can choose the actions of all its players. It is clearly not the only possibility, maybe you want to allow for players to have some autonomy within the coalition, but let's say you define action sets that way. </p>

<p>You will also have to define payoff functions for each possible coalition. Again a natural way could be to define <span class="math-container">$u_C=\sum_{i\in iI\cap C} u_i$</span>, i.e. the sum of utilities of players in the coalition. Note that your assumption on this coalition utility will necessarily come with some assumptions of how you substitute between players' utilities within the coalition.</p>

<p>Finally, you will have to define which coalitions are possible to co-exist. For example, can players belong to multiple coalitions or not? Again a natural way would be to rule out this possibility so that in equilibrium each player must belong to only one coalition, i.e. <span class="math-container">$C\cap C'=\emptyset$</span>. This language will allow you to define that the core will be a situation where all players belong to a coalition, each coalition chooses an action for each of their players and there is no subset of players that will rather separate from their current coalition to form another one and choose a  different profile of actions. </p>

<p>Hopefully, I  have made clear that I needed to make several assumptions just to be able to define the core. Especially if I want to have some counterpart with the original non-cooperative game I started with. This is cumbersome.</p>

<p>I think this is why, to some extent, the way some of the literature developed was by not subordinating the definition of core (intrinsically a cooperative solution concept) to the terminology of a non-cooperative game. One way to do it is by directly defining a payoff function for each player from being part of a coalition <span class="math-container">$V_i(C)$</span> for each player where <span class="math-container">$C\in P(I)$</span> (this notation has implicit that being in a coalition can probably imply different actions on your part). The core is then a partition of players (each player belongs to a coalition, say <span class="math-container">$i\in C_i^*$</span>) such that there is no coalition <span class="math-container">$C'\in P(I)$</span> such that for all <span class="math-container">$i\in C'$</span>, you have <span class="math-container">$V_i(C')\geq V_i(C_i^*)$</span> and with strict inequality for some <span class="math-container">$i\in C'$</span>. </p>

<p>Clearly, this last formulation has fewer assumptions than my first formulation. However, it is also clear that it does have assumptions. The main ones (at least for me) is that suffices to know what coalition you belong to figuree out your payoff (i.e. no externalities between coalitions). And the other important assumption is that players can only belong to one coalition. This is restrictive in many situations, for example, politicians that belong to multiple interest groups, etc. </p>

<p>Depending on what you are willing to assume about the nature of cooperation and deviations from cooperation, you will get a different-looking definition of core, but the general principle is the same. The core is the prediction that captures that no subgroup of players has incentives to coordinate and improve their condition. So the concept is not bound to specific kinds of games, but I think that there is no consensus on how to apply it universally to all kinds of games. </p>

CC BY-SA 4.0
2019-06-14T21:51:51.170Z
The notation in your 6th paragraph seems to be somewhat off, lower index $i$'s appear or disappear. I also don't understand the paragraph's second sentence, but that may just be me.
Giskard
CC BY-SA 4.0
2019-06-15T06:12:53.690Z
So basically, there are many different ways to define the core, depending on how we define what the "preferences of a coalition" are, and thus what choice the coalition will make? e.g. if the preferences of the coalition are equal to a sum of the member's utilities, then the core might be different from if the preference is equal to the minimum of the members' utilities?
user56834
CC BY-SA 4.0
2019-06-15T23:57:54.293Z
That's correct. But just like in a non-cooperative game, once you define coalitions, (players), their sets of actions, and their payoffs, the definition of the core is clear. In contrast with Nash equilibrium, it is hard to formulate it with mathematical objects without loss of generality. I guess you could but might not be too meaningful.
Regio
CC BY-SA 4.0
2019-06-14T18:51:58.277Z
2019-06-15T23:54:30.257Z
2019-06-15T23:54:30.257Z
Regio
<p>I’ve seen definitions of “the core” that rely on some specific assumptions, such as that the game is one of a transfer of resources, or that there is “transferability of utility” (presumably intending to capture the notion of money being the source of this).</p>

<p>But what is the most general definition of the core? Can we talk about the core of any arbitrary game, or does the concept fundamentally only work for specific types of games?</p>

CC BY-SA 4.0
2019-06-08T23:40:02.530Z
How about the one given in [Wikipedia](https://en.wikipedia.org/wiki/Core_(game_theory)): "In game theory, the core is the set of feasible allocations that cannot be improved upon by a subset (a coalition) of the economy's agents."
Herr K.
CC BY-SA 4.0
2019-06-09T04:45:07.663Z
@HerrK. It is not clear to me how general "allocation" is and what it assumes, and whether that is necessary, and what the most general interpretation of "improved by a coalition" is. the wikipedia article goes on to assume transferable utility and is framed in terms of "imputations". This is a restrictive assumption imo, and it's not clear to me whether this can be generalized.
user56834
<game-theory><cooperative-game-theory>
What is the most general definition of “the core” in game theory?
user56834
# What is the most general definition of “the core” in game theory?

(Asked by: username_0 on 2019-06-07)

I’ve seen definitions of “the core” that rely on some specific assumptions, such as that the game is one of a transfer of resources, or that there is “transferability of utility” (presumably intending to capture the notion of money being the source of this).

But what is the most general definition of the core? Can we talk about the core of any arbitrary game, or does the concept fundamentally only work for specific types of games?

**Tags:** game-theory, cooperative-game-theory
> **Comments:**
> **username_1**: How about the one given in [Wikipedia](https://en.wikipedia.org/wiki/Core_(game_theory)): "In game theory, the core is the set of feasible allocations that cannot be improved upon by a subset (a coalition) of the economy's agents."  
> **username_0**: @HerrK. It is not clear to me how general "allocation" is and what it assumes, and whether that is necessary, and what the most general interpretation of "improved by a coalition" is. the wikipedia article goes on to assume transferable utility and is framed in terms of "imputations". This is a restrictive assumption imo, and it's not clear to me whether this can be generalized.  

---

## 1 answers

### Answer by username_2 on 2019-06-14. Score: 2 | Accepted answer

We can talk of the core for any arbitrary game. To explain how let me compare it directly to how we define non-cooperative games. In a standard non-cooperative game we define Players, $I$, action sets for each player, $A\_i$ for each $i\in I$ and payoff functions that map any profile of actions to payoffs $u\_i: A\rightarrow \mathbb{R}$, where $A=\prod\_{i\in I} A\_i$. Finally the solution concept, for example, Nash equilibrium, correlated equilibrium or rationalizability is a condition on these objects that we think are a good prediction of what will happen. For instance, Nash equilibrium predicts that every player is best responding to a correct belief about what other players are doing.

The Core is another solution concept, however, the language developed so far is not sufficient, because the idea of the core is that it predicts that no group of people (or coalition) will have a profitable deviation. It is clear that now the unit of analysis are groups of people, so the "agents" in this setup are the elements of $P(I)$, the power set of $I$, which contains all possible groups of people, so you will need to define the action sets for each of these groups. A natural way could be that if $C\in P(I)$ then $A\_C=\prod\_{i\in I\cap C} A\_i$, i.e. the coalition $C$ can choose the actions of all its players. It is clearly not the only possibility, maybe you want to allow for players to have some autonomy within the coalition, but let's say you define action sets that way.

You will also have to define payoff functions for each possible coalition. Again a natural way could be to define $u\_C=\sum\_{i\in iI\cap C} u\_i$, i.e. the sum of utilities of players in the coalition. Note that your assumption on this coalition utility will necessarily come with some assumptions of how you substitute between players' utilities within the coalition.

Finally, you will have to define which coalitions are possible to co-exist. For example, can players belong to multiple coalitions or not? Again a natural way would be to rule out this possibility so that in equilibrium each player must belong to only one coalition, i.e. $C\cap C'=\emptyset$. This language will allow you to define that the core will be a situation where all players belong to a coalition, each coalition chooses an action for each of their players and there is no subset of players that will rather separate from their current coalition to form another one and choose a different profile of actions.

Hopefully, I have made clear that I needed to make several assumptions just to be able to define the core. Especially if I want to have some counterpart with the original non-cooperative game I started with. This is cumbersome.

I think this is why, to some extent, the way some of the literature developed was by not subordinating the definition of core (intrinsically a cooperative solution concept) to the terminology of a non-cooperative game. One way to do it is by directly defining a payoff function for each player from being part of a coalition $V\_i(C)$ for each player where $C\in P(I)$ (this notation has implicit that being in a coalition can probably imply different actions on your part). The core is then a partition of players (each player belongs to a coalition, say $i\in C\_i^\*$) such that there is no coalition $C'\in P(I)$ such that for all $i\in C'$, you have $V\_i(C')\geq V\_i(C\_i^\*)$ and with strict inequality for some $i\in C'$.

Clearly, this last formulation has fewer assumptions than my first formulation. However, it is also clear that it does have assumptions. The main ones (at least for me) is that suffices to know what coalition you belong to figuree out your payoff (i.e. no externalities between coalitions). And the other important assumption is that players can only belong to one coalition. This is restrictive in many situations, for example, politicians that belong to multiple interest groups, etc.

Depending on what you are willing to assume about the nature of cooperation and deviations from cooperation, you will get a different-looking definition of core, but the general principle is the same. The core is the prediction that captures that no subgroup of players has incentives to coordinate and improve their condition. So the concept is not bound to specific kinds of games, but I think that there is no consensus on how to apply it universally to all kinds of games.

> **Comments:**
> **username_3**: The notation in your 6th paragraph seems to be somewhat off, lower index $i$'s appear or disappear. I also don't understand the paragraph's second sentence, but that may just be me.  
> **username_0**: So basically, there are many different ways to define the core, depending on how we define what the "preferences of a coalition" are, and thus what choice the coalition will make? e.g. if the preferences of the coalition are equal to a sum of the member's utilities, then the core might be different from if the preference is equal to the minimum of the members' utilities?  
> **username_2**: That's correct. But just like in a non-cooperative game, once you define coalitions, (players), their sets of actions, and their payoffs, the definition of the core is clear. In contrast with Nash equilibrium, it is hard to formulate it with mathematical objects without loss of generality. I guess you could but might not be too meaningful.  

---

