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

It would be useful to have a category of extensive-form games whose isomorphisms specify equivalences between games. Since working with entire games is too large a project for a single paper, I begin here with preforms, where a "preform" is a rooted tree together with choices and information...

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