Abstract
In this paper, we construct a universal type space for a class of possibility models by imposing topological restrictions on the players' beliefs. Along the lines of Mertens and Zamir [International Journal of Game Theory, 14 (1985) 1] or Brandenburger and Dekel [Journal of Economic Theory 59 (1993) 189], we show that the space of all hierarchies of compact beliefs that satisfy common knowledge of coherency (types) is canonically homeomorphic to the space of compact beliefs over the state of nature and the types of the other players. The resulting type space is universal, in the sense that any compact and continuous possibility structure can be uniquely represented within it. We show how to extend our construction to conditional systems of compact beliefs. © 2004 Elsevier B.V. All rights reserved.