We extend implementation theory by allowing the social choice function to depend on more than just the preferences of the agents and allowing agents to support their statements with hard evidence. We show that a simple condition on evidence is necessary for the implementation of a social choice...

In this paper, we examine the optimal mechanism design of selling an indivisible object to one regular buyer and one publicly known buyer, where inter-buyer resale cannot be prohibited. The resale market is modeled as a stochastic ultimatum bargaining game between the two buyers. We fully...