Equilibria Existence in Bayesian Games: Climbing the Countable Borel Equivalence Relation Hierarchy

The solution concept of a Bayesian equilibrium of a Bayesian game is inherently an interim concept. The corresponding ex ante solution concept has been termed a Hars'anyi equilibrium; examples have appeared in the literature showing that there are Bayesian games with uncountable state spaces that have no Bayesian approximate equilibria but do admit a Hars'anyi approximate equilibrium, thus exhibiting divergent behaviour in the ex ante and interim stages. Smoothness, a concept from descriptive set theory, has been shown in previous works to guarantee the existence of Bayesian equilibria. We show here that higher rungs in the countable Borel equivalence relation hierarchy can also shed light on equilibrium existence. In particular, hyperfiniteness, the next step above smoothness, is a sufficient condition for the existence of Hars'anyi approximate equilibria in purely atomic Bayesian games.