Skip to main content
Source Link
Arno
  • 4.7k
  • 25
  • 41

Determinacy for $\Delta^0_1$-games in Baire space is naturally proven by transfinite induction (over the (rank of the) well-founded tree describing the $\Delta^0_1$-winning set and its complement). This generalizes the backwards-induction argument for finite sequential games having subgame-perfect equilibria.

Post Made Community Wiki by Arno