We study extensive‐form games and mechanisms allowing agents that plan for only a subset of future decisions they may be called to make (the planning horizon ). Agents may update their so‐called strategic plan as the game progresses and new decision points enter their planning horizon. We introduce a family of simplicity standards which require that the prescribed action leads to unambiguously better outcomes, no matter what happens outside the planning horizon. We employ these standards to explore the trade‐off between simplicity and other objectives, to characterize simple mechanisms in a wide range of economic environments, and to delineate the simplicity of common mechanisms such as posted prices and ascending auctions, with the former being simpler than the latter.

Abstract We incorporate externalities into the stable matching theory of two-sided markets. Extending the classical substitutes condition to markets with externalities, we establish that stable matchings exist when agent choices satisfy substitutability. We show that substitutability is a necessary condition for the existence of a stable matching in a maximal-domain sense and provide a characterization of substitutable choice functions. In addition, we extend the standard insights of matching theory, like the existence of side-optimal stable matchings and the deferred acceptance algorithm, to settings with externalities even though the standard fixed-point techniques do not apply.