Core implementation via dynamic game forms (Q1823121)

The author proves a few theorems, concerning implementation of social choice correspondences. A few types of cores of the game (\(\alpha\)-core, \(\beta\)-core, strong equilibrium) and a notion of sequential dictatorship are considered. The theorems establish the conditions for which game implementation of social choice may be realized by the types of cores mentioned above only under the assumption of sequential dictatorship. As analytical tools the author used so-called effectivity functions and introduced new concepts pertaining to their properties.