In their seminal paper, Mertens and Zamir (1985) proved the existence of a universal Harsanyi type space which consists 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...

To answer the question in the title we vary agentsʼ beliefs against the background of a fixed knowledge space, that is, a state space with a partition for each agent. Beliefs are the posterior probabilities of agents, which we call type profiles. We then ask what is the topological size of the...