Type space on a purely measurable parameter space

Several game theoretical topics require the analysis of hierarchical beliefs, particularly in incomplete information situations. For the problem of incomplete information, Hars´anyi suggested the concept of the type space. Later Mertens & Zamir gave a construction of such a type space under topological assumptions imposed on the parameter space. The topological assumptions were weakened by Heifetz, and by Brandenburger & Dekel. In this paper we show that at very natural assumptions upon the structure of the beliefs, the universal type space does exist. We construct a universal type space, which employs purely a measurable parameter space structure.

The non-existence of a universal topological type space

The concept of types was introduced by Harsányi[8]. In the literature there are two approaches for formalizing types, type spaces: the purely measurable and the topological models. In the former framework Heifetz and Samet [11] showed that the universal type space exists and later Meier[13] proved that it is complete. In this paper we examine the topological approach and conclude that there is no universal topological type space in the category of topological type spaces.