This paper extends the model of optimal income taxation due to Mirrlees (1971) and includes private information on public goods preferences. A mechanism design approach is used to establish the following result: If policies are required to be robustly implementable in the sense of Bergemann and...

Different evaluators typically disagree how to rank different candidates since they care more or less for the various qualities of the candidates. It is assumed that all evaluators submit vector bids assigning a monetary bid for each possible rank order. The rules must specify for all possible...

This paper considers mechanism design problems in environments with ambiguity-sensitive individuals. The novel idea of the paper is to introduce ambiguity in mechanisms so as to exploit the ambiguity sensitivity of individuals. We prove a revelation principle for the partial implementation of...

We study mechanisms for environments in which only some of the agents are directly connected to a mechanism designer and the other agents can participate in a mechanism only through the connected agents' referrals. In such environments, the mechanism designer and agents may have different...

Often preferences are such that any sensible goal must admit a tie between all alternatives. The standard formulation in mechanism design stipulates that in this case all alternatives must be equilibrium outcomes of the decision making mechanism. However, as far as the idea of an equilibrium is...

We generalize the canonical problem of Nash implementation by allowing agents to voluntarily provide discriminatory signals, i.e. evidence. Evidence can either take the form of hard information or, more generally, have differential but non-prohibitive costs in different states. In such...

We assess the strength of the different conditions identified in the literature of robust mechanism design. We focus on three conditions: ex post incentive compatibility, robust monotonicity, and robust measurability. Ex post incentive compatibility has been shown to be necessary for any concept...

Implementation in iteratively undominated strategies relies on permissive conditions. However, for the sufficiency results available, authors have relied on assumptions that amount to quasilinear preferences on a numeraire. We uncover a new necessary condition that implies that such assumptions...

We consider mechanism design in contexts in which agents exhibit bounded depth of reasoning (level k) instead of rational expectations. We use simple direct mechanisms, in which agents report only first-order beliefs. While level 0 agents are assumed to be truth tellers, level k agents...

Models of choice where agents see others as less sophisticated than themselves have significantly different, sometimes more accurate, predictions in games than does Nash equilibrium. When it comes to mechanism design, however, they turn out to have surprisingly similar implications. This paper...