Game Theory.Extensive Game.Perfect Information

Definition Backward Induction Value formalized

Definition Determined Game formalized

Definition Extensive-Game Theorems Catalog staged

Definition Finite Extensive Game With Perfect Information formalized

Definition Finite Game-Tree Strategy Induces An Outcome formalized

Proposition Generic Uniqueness Of Subgame-Perfect Equilibrium staged

Theorem Kuhn Existence Of Pure Subgame-Perfect Equilibrium (No-Chance) proved

Theorem Kuhn Existence Of Pure Subgame-Perfect Equilibrium (With Chance) staged

Definition Simple Perfect-Information Game formalized

Definition Strategy In A Perfect-Information Game formalized

Theorem Strictly Competitive Perfect-Information Determinacy proved

Proposition Subgame-Perfect Equilibrium Implies Nash Equilibrium proved

Definition Subgame-Perfect Equilibrium In Perfect-Information Games formalized

Theorem Value In Finite Zero-Sum Perfect-Information Games (No-Chance) proved

Theorem Value In Finite Zero-Sum Perfect-Information Games (With Chance) staged

Theorem Zermelo Determinacy For Finite Perfect-Information Games proved