Every abstract type of a belief-closed type space corresponds to an infinite belief hierarchy. But only finite order of beliefs is necessary for most applications. As we demonstrate, many important insights from recent development in the theory of Bayesian games with higher-order uncertainty...

We propose a framework of consistent finite-order priors to facilitate the incorporation of higher-order uncertainties into Bayesian game analysis, without invoking the concept of a universal type space. Several recent models, which give rise to stunning results with higher-order uncertainties,...