Key points are not available for this paper at this time.
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.
Green et al. (Tue,) studied this question.