Keyword: extensive-game

Definition Action At An Information Set formalized

Definition Agent Normal Form staged

Definition Argmax of a List under a Total Preorder formalized

Example Backward And Forward Induction Can Conflict staged

Definition Backward Induction Value formalized

Definition Behavioral Equilibrium staged

Definition Belief System staged

Theorem Chomp Strategy Stealing staged

Theorem Completely Mixed Nash Is Subgame Perfect staged

Definition Determined Game formalized

Example Entrant Incomplete Information Value Example staged

Theorem Existence Of Behavioral Equilibrium staged

Theorem Existence Of Sequential Equilibrium staged

Theorem Existence Of Subgame-Perfect Equilibrium With Perfect Recall staged

Definition Extensive Form Perfect Equilibrium staged

Definition Extensive Game With Imperfect Information formalized

Definition Extensive-Game Theorems Catalog staged

Definition Finite Extensive Game With Perfect Information formalized

Definition Finite Game-Tree Strategy Induces An Outcome formalized

Definition Forward Induction staged

Definition Game Tree formalized

Proposition Generic Uniqueness Of Subgame-Perfect Equilibrium staged

Definition History And Subgame formalized

Definition Information Set staged

Proposition Information Set Refinement And Equilibrium staged

Theorem Isbell Behavioral-To-Mixed Equivalence staged

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

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

Theorem Kuhn Mixed-To-Behavioral Equivalence staged

Definition Linear Extensive Game staged

Theorem Local Characterization Of Behavioral Equilibrium staged

Definition Mertens Stable Sets staged

Definition Mixed Behavioral And General Strategies staged

Definition Nature In Extensive Games staged

Definition Non-Player-Controlled Nonterminal State formalized

Example Normal And Extensive Perfection Can Differ staged

Proposition Normal Form Invariance Of Extensive Representations proved

Definition Normal Form Reduction formalized

Definition Perfect Recall staged

Example Poker Game Value Example staged

Theorem Proper Equilibrium Induces Sequential Equilibrium staged

Definition Pure Strategy With Imperfect Information formalized

Definition Reached Information Set staged

Theorem Reached Subgame Nash Restriction staged

Theorem Rubinstein Bargaining Subgame Perfect Equilibrium staged

Definition Semi-Reduced Normal Form formalized

Definition Sequential Equilibrium staged

Definition Simple Perfect-Information Game formalized

Definition Strategic Stability staged

Definition Strategy In A Perfect-Information Game formalized

Definition Strategy Profile And Induced Outcome staged

Theorem Strictly Competitive Perfect-Information Determinacy proved

Proposition Subgame-Perfect Equilibrium Implies Nash Equilibrium proved

Definition Subgame-Perfect Equilibrium In Imperfect-Information Games staged

Definition Subgame-Perfect Equilibrium In Perfect-Information Games formalized

Definition Subroot And Subgame In Imperfect-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

Definition Weak Bayesian Perfect Equilibrium staged

Theorem Zermelo Determinacy For Finite Perfect-Information Games proved