Interim Bayesian Nash equilibrium on universal type spaces for supermodular games

We prove the existence of a greatest and a least interim Bayesian Nash equilibrium for supermodular games of incomplete information. There are two main differences from the earlier proofs and from general existence results for non-supermodular Bayesian games: (a) we use the interim formulation of a Bayesian game, in which each player's beliefs are part of his or her type rather than being derived from a prior; (b) we use the interim formulation of a Bayesian Nash equilibrium, in which each player and every type (rather than almost every type) chooses a best response to the strategy profile of the other players. There are no restrictions on type spaces and action sets may be any compact metric lattices. (C) 2009 Elsevier Inc. All rights reserved.