Meier (2012) gave a "mathematical logic foundation" of the purely measurable universal type space (Heifetz and Samet, 1998). The mathematical logic foundation, however, discloses an inconsistency in the type space literature: a finitary language is used for the belief hierarchies and an...

Meier (2012) gave a "mathematical logic foundation" of the purely measurable universal type space (Heifetz and Samet, 1998). The mathematical logic foundation, however, discloses an inconsistency in the type space literature: a finitary language is used for the belief hierarchies and an...

Applying unawareness belief structures introduced in Heifetz, Meier, and Schipper (2013a), we develop Bayesian games with unawareness, define equilibrium, and prove existence. We show how equilibria are extended naturally from lower to higher awareness levels and restricted from higher to lower...

We define and study periodic strategies in two player finite strategic form games. This concept can arise from some epistemic analysis of the rationalizability concept of Bernheim and Pearce. We analyze in detail the pure strategies and mixed strategies cases. In the pure strategies case, we...

The Bayesian solution is a notion of correlated equilibrium proposed by Forges (1993), and hierarchies of beliefs over conditional beliefs are introduced by Ely and Pęski (2006) in their study of interim rationalizability. We study the connection between the two concepts. We say that two type...

In game theory, there is a basic methodological dichotomy between Harsanyi's "game-theoretic" view and Aumann's "Bayesian decision-theoretic" view of the world. We follow the game-theoretic view, propose and study interim partially correlated rationalizability for games with incomplete...

We define and analyze a "strategic topology" on types in the Harsanyi-Mertens- Zamir universal type space, where two types are close if their strategic behavior is similar in all strategic situations. For a fixed game and action define the distance be- tween a pair of types as the di¤erence...

We define and analyze a "strategic topology'' on types in the Harsanyi-Mertens-Zamir universal type space, where two types are close if their strategic behavior is similar in all strategic situations. For a fixed game and action define the distance between a pair of types as the difference...