TOPOLOGY-FREE TYPOLOGY OF BELIEFS

In their seminal paper, Mertens and Zamir (Int. Game Theory 14 (1985), 1-29) proved the existence of a universal Harsanyi type space which c onsists of all possible types. Their method of proof depends crucially on topological assumptions. Whether such assumptions are essential to the existence of a universal space remained an open problem. Here we prove that a universal type space does exist even when spaces an defin ed in pure measure theoretic terms. Heifetz and Samet (mimeo, Tel Aviv University, 1996) showed that coherent hierarchies of beliefs, in the measure theoretic case, do not necessarily describe types. Therefore, the universal space here differs from all previously studied ones, in that it does not necessarily consist of all coherent hierarchies of b eliefs. (C) 1998 Academic Press.