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...

It would be useful to have a category of extensive-form games whose isomorphisms specify equivalences between games. Toward this goal, Streufert (2016) introduced the category of node- and-choice preforms, where a "preform" is a rooted tree together with choices and information sets. This paper...

The literature specifies extensive-form games in several styles, and eventually I hope to formally translate games across those styles. Toward that end, this paper defines NCF, the category of node-and-choice forms. The category's objects are game forms in any style, and the category's...

We come close to characterizing the class of social choice correspondences that are implementable in rationalizable strategies. We identify a new condition, which we call set-monotonicity, and show that it is necessary and almost sufficient for rationalizable implementation. Set-monotonicity is...