Hierarchies of Beliefs and Measurable Uniformizations

Abstract

We extend the Fundamental Theorem of Epistemic Game Theory to games with Baire class one payoffs and locally compact Polish strategy spaces, and under Projective Determinacy, to games with analytically measurable payoffs and arbitrary Polish strategy spaces. We show that in full generality, the statement that rationalizable strategies are consistent with rationality and common belief in rationality follows from the Axiom of Real Determinacy, has a characterization in terms of real Gale-Stewart games, fails under the Continuum Hypothesis, and in the framework of interactive epistemics is equivalent to the Measurable Uniformization Principle from the Solovay model.