Epistemic equivalence of extended belief hierarchies

In this paper, we introduce a notion of epistemic equivalence between hierarchies of conditional beliefs and hierarchies of lexicographic beliefs, thus extending the standard equivalence results of Halpern (2010) and Brandenburger et al. (2007) to an interactive setting, and we show that there is a Borel surjective function, mapping each conditional belief hierarchy to its epistemically equivalent lexicographic belief hierarchy. Then, using our equivalence result we construct a terminal type space model for lexicographic belief hierarchies. Finally, we show that whenever we restrict attention to full-support beliefs, epistemic equivalence between a lexicographic belief hierarchy and a conditional belief hierarchy implies that an arbitrary Borel event is commonly assumed under the lexicographic belief hierarchy if and only if it is commonly strongly believed under the conditional belief hierarchy. This is the first result in the literature directly linking common assumption in rationality (Brandenburger et al., 2008) with common strong belief in rationality (Battigalli and Siniscalchi, 2002).