Keyword: example

Example Backward And Forward Induction Can Conflict staged

Theorem Big Match Uniform Value staged

Theorem Condorcet Paradox staged

Example Correlated Best Response Need Not Be Independent staged

Proposition Diagonal Matrix Game Value proved

Theorem EF Impossibility — Two Agents, One Good staged

Theorem EFX Existence — 2 Agents, 2 Goods staged

Example Finite Nash Equilibrium Computation Examples staged

Example Matching Pennies formalized

Example Noncontractible Feasible Payoff Example staged

Example Normal And Extensive Perfection Can Differ staged

Example Prisoner's Dilemma admitted

Example Proper And Perfect Equilibrium Examples staged

Example Three-By-Two Matrix Game Computation formalized

Example Three-Player Minimax Failure formalized

Example Two-By-Two Value Formula formalized

Example Worked Example: Balanced Parallel Sum Depth formalized

Example Worked Example: Constant-Space Boyer–Moore Majority formalized

Example Worked Example: Euclidean GCD Step Count formalized

Example Worked Example: Longest Common Subsequence DP Grid formalized

Example Worked Example: Memoized Fibonacci Footprint formalized

Example Worked Example: N-ary parList Depth Bound formalized

Example Worked Example: Quadratic Naive List Reversal formalized