We provide a characterization of virtual Bayesian implementation in pure strategies for environments satisfying no-total-indifference. A social choice function in such environments is virtually Bayesian implementable if and only if it satisfies incentive compatibility and a condition we term...

It is well known that a social choice function is truthfully implementable in Bayesian Nash equilibrium if and only if it is incentive compatible. However, in general it is not possible to rule out other equilibrium outcomes, and additional conditions, e.g., Bayesian monotonicity, are needed to...

We provide a mechanism that approximately implements the Mas-Colell bargaining set in subgame perfect equilibrium. The mechanism is based on the definition of the Mas-Colell bargaining set, and respects feasibility in and out of equilibrium.