We correct a misspecified property in "Trees and Extensive Forms'', Journal of Economic Theory 143 (2008), 216-250. As a consequence a few proofs need to be adjusted, and a few statements need to be adapted. Two minor results, which are not needed for the proofs of the main results, do not hold...

The current literature formally links "OR forms" (named after Osborne and Rubinstein 1994) with "KS forms" (named after Kuhn and Selten by Kline and Luckraz 2016). It also formally links "simple forms" with "AR forms" (both from Alós-Ferrer and Ritzberger 2016, with the former less prominent...

For games in which there is no evolutionarily stable strategy, it can be useful to look for neutrally stable ones. In extensive form games for instance there is typically no evolutionary stable strategy, while there may very well be a neutrally stable one. Such strategies can however still be...

The traditional model of sequential decision making, for instance, in extensive form games, is a tree. Most texts define a tree as a connected directed graph without loops and a distinguished node, called the root. But an abstract graph is not a domain for decision theory. Decision theory...