Game Theory.Zero Sum.Learning

Lemma Bracket Invariant For Admissible Sequences admitted

Definition Calibrated Strategy staged

Theorem Calibrated Strategy Exists staged

Lemma Cesàro Payoff Convergence From Robinson Lemma admitted

Proposition Continuous Fictitious Play Closes The Duality Gap admitted

Definition Empirical Frequency Of Play formalized

Lemma Euclidean Division Pasting In Robinson Induction admitted

Definition External Regret staged

Definition Fictitious Play formalized

Theorem Fictitious Play Convergence admitted

Definition Hannan Set staged

Definition Internal Regret staged

Theorem No External Regret Converges To Hannan Set staged

Theorem No Internal Regret Converges To Correlated Equilibrium staged

Lemma Robinson Admissible Sequence Lemma admitted

Lemma Subgame Reduction For Non-Useful Indices admitted

Lemma Useful Window Bound For Admissible Sequences admitted