@article {9639,
	title = {Implementation with Partial Provability},
	journal = {Journal of Economic Theory},
	volume = {147},
	year = {2012},
	pages = {1689-1724},
	abstract = {We extend implementation theory by allowing the social choice function to depend on more than just the profile of preferences of the agents and by allowing agents to support their statements with hard evidence. We show that a simple condition on the evidence structure which is necessary for the implementation of a social choice function f when the preferences of the agents are state independent is also sufficient for implementation for any preferences (including state dependent) if the social planner can perform small monetary transfers beyond those called for by f and there are at least three players. If transfers can be large, f can be implemented in a game with perfect information when there are at least two players under an additional boundedness assumption. In both cases, transfers only occur off the equilibrium path. In the special but important case of allocation problems, under weak conditions, f can be implemented in a perfect information game with at least two players and no transfers. In all cases, the use of evidence enables implementation which is robust in the sense that the social planner needs very little information about the preferences, beliefs, and evidence of the agents and the agents need little information about each others{\textquoteright} preferences. Furthermore, our results still hold if evidence can be forged at an arbitrarily small but strictly positive cost. Finally, we relate our results to the classical work of Maskin (1977) and Moore and Repullo (1988) on implementation without evidence.},
	author = {Elchanan Ben-Porath and Lipman.B}
}
