Game Theory.Extensive Game.Normal Form

6 nodes 2 formalized 1 proved 3 staged

Definition Agent Normal Form staged

Theorem Existence Of Sequential Equilibrium staged

Definition Extensive Form Perfect Equilibrium staged

Proposition Normal Form Invariance Of Extensive Representations proved

Definition Normal Form Reduction formalized

Definition Semi-Reduced Normal Form formalized