51. Why forward induction leads to the backward induction outcome: A new proof for Battigalli's theorem
- Author
-
Andrés Perea, QE Math. Economics & Game Theory, RS: GSBE Theme Conflict & Cooperation, and RS: GSBE ETBC
- Subjects
EXTENSIVE GAMES ,Monotonicity ,Economics and Econometrics ,Pure mathematics ,Reduction (recursion theory) ,EQUILIBRIA ,Extensive-form rationalizability ,Monotonic function ,BELIEF ,Outcome (game theory) ,Operator (computer programming) ,c72 - Noncooperative Games ,0502 economics and business ,RATIONALIZABILITY ,Forward induction ,050207 economics ,050205 econometrics ,Mathematics ,05 social sciences ,Perfect information ,Rationalizability ,Backward induction ,PERFECTION ,Battigalli's theorem ,Order independence ,DOMINANCE ,Iterated function ,Noncooperative Games ,BEHAVIOR ,Finance - Abstract
Battigalli (1997) has shown that in dynamic games with perfect information and without relevant ties, the forward induction concept of extensive-form rationalizability yields the backward induction outcome. In this paper we provide a new proof for this remarkable result, based on four steps. We first show that extensive-form rationalizability can be characterized by the iterated application of a special reduction operator, the strong belief reduction operator. We next prove that this operator satisfies a mild version of monotonicity, which we call monotonicity on reachable histories. This property is used to show that for this operator, every possible order of elimination leads to the same set of outcomes. We finally show that backward induction yields a possible order of elimination for the strong belief reduction operator. These four properties together imply Battigalli's theorem.
- Published
- 2018
- Full Text
- View/download PDF