A game form constitutionally implements a social choice correspondence if it implements it in Nash equilibrium and, moreover, the associated effectivity functions coincide. This paper presents necessary and sufficient conditions for a unanimous social choice correspondence to be constitutionally...

We survey the results on representations of committees and constitutions by game forms that possess some kind of equilibrium strategies for each profile of preferences of the players. The survey is restricted to discrete models, that is, we deal with finitely many players and alternatives. No...

We survey the results on representations of committees and constitutions by game forms that possess some kind of equilibrium strategies for each profile of preferences of the players. The survey is restricted to discrete models, that is, we deal with finitely many players and alternatives. No...

We study the structure of unstable local effectivity functions defined for n players and p alternatives. A stability index based on the notion of cycle is introduced. In the particular case of simple games, the stability index is closely related to the Nakamura Number. In general it may be any...

A power system is modeled by an interaction form, the solution of which is called a settlement. By stability we mean the existence of some settlement for any preference profile. Like in other models of power structure, instability is equivalent to the existence of a cycle. Structural properties...

We consider the problem of implementing a social choice correspondence H in Nash equilibrium when the constitution of the society is given by an effectivity function E. It is assumed that the effectivity function of $ H,E^{H}$, is a sub-correspondence of E. We found necessary and efficient...

We study the structure of unstable local effectivity functions defined for n players and p alternatives. A stability index based on the notion of cycle is introduced. In the particular case of simple games, the stability index is closely related to the Nakamura Number. In general it may be any...

A power system is modeled by an interaction form, the solution of which is called a settlement. By stability we mean the existence of some settlement for any preference profile. Like in other models of power structure, instability is equivalent to the existence of a cycle. Structural properties...