Extend Proposition 151.1 (the Perfect Folk Theorem with discounting) to arbitrary mixtures of payoff profiles of the original game G =(, (A Ui) ) Allow for both rational and real weights on the set of profiles {u(a): a E A}; note that the statement of the result will involve an approximation of the payoff profile
Recall the following definitions: in any model M=(Q, (Ti, ai, piie), Ri is the event Player i is rational\;R=nieN Ri. Also, Bi(E) is the event \Player i is certain that E is true\ and B(E)=neN Bi(E). This is as in Lecture