A note on the definition of Bayesian Nash equilibrium of a mechanism when strategies of agents are costly actions

Haoyang Wu

In mechanism design theory, a designer would like to implement a desired social choice function which specifies her favorite outcome for each possible profile of agents' types. To…