Watson, Joel; Bull, Jesse - 2004
We show how hard evidence can be incorporated into the mechanism-design framework. We provide a link between real evidence and abstract declarations, which clarifies when the abstract-declaration environment, which was first studied in Green and Laffont's (1986) "limited verifiability" analysis,...