This paper provides an explicit characterization of correlations that are implicitly captured by partition models for incomplete information games. The main result of this paper shows that every partition model for incomplete information can be decomposed into the conjunctions of a unique...

A type structure is non-redundant if no two types of a player represent the same hierarchy of beliefs over the given set of basic uncertainties, and it is redundant otherwise. Under a mild necessary and sufficient condition termed separativity, we show that any redundant structure can be...