Partially Verifiable Information and Mechanism Design

Abstract

In a principal-agent model with adverse selection, we study the implementation of social choice functions when the agent's message space is a correspondence which depends on this true characteristic. We characterize such correspondence for which the Revelation Principle is valid.