Implementation with partial provability

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 function f when the preferences of the agents are state independent and sufficient for implementation for any preferences (including state dependent) with at least three agents if the social planner can perform small monetary transfers beyond those called for by f. If transfers can be large, f can be implemented in a game with perfect information when there are at least two players under a boundedness assumption. For both results, transfers only occur out of equilibrium. The use of evidence enables implementation which is robust in the sense that the planner needs little information about agents' preferences or beliefs and agents need little information about each others' preferences. Our results are robust to evidence forgery at any strictly positive cost.