The probabilistic type spaces in the sense of Harsanyi [Management Sci. 14
(1967/68) 159--182, 320--334, 486--502] are the prevalent models used to
describe interactive uncertainty. In this paper we examine the existence of a
universal type space when beliefs are described by finitely additive
probability measures. We find that in the category of all type spaces that
satisfy certain measurability conditions (κ-measurability, for some
fixed regular cardinal κ), there is a universal type space (i.e., a
terminal object) to which every type space can be mapped in a unique
beliefs-preserving way. However, by a probabilistic adaption of the elegant
sober-drunk example of Heifetz and Samet [Games Econom. Behav. 22 (1998)
260--273] we show that if all subsets of the spaces are required to be
measurable, then there is no universal type space.Comment: Published at http://dx.doi.org/10.1214/009117905000000576 in the
Annals of Probability (http://www.imstat.org/aop/) by the Institute of
Mathematical Statistics (http://www.imstat.org