We consider mechanisms that provide traders the opportunity to exchange commodity i for commodity j, for certain ordered pairs ij. Given any connected graph G of opportunities, we show that there is a unique mechanism M_G that satisfies some natural conditions of "fairness" and "convenience."...

Consider agents who undertake costly effort to produce stochastic outputs observable by a principal. The principal can award a prize deterministically to the agent with the highest output, or to all of them with probabilities that are proportional to their outputs. We show that, if there is...

We consider abstract exchange mechanisms wherein individuals submit "diversified" offers in m commodities, which are then redistributed to them. Our first result is that if the mechanism satisfies certain natural conditions embodying "fairness" and "convenience" then it admits unique prices, in...

We study the problem of how to allocate a set of indivisible objects like jobs or houses and an amount of money among a group of people as fairly and as efficiently as possible. A particular constraint for such an allocation is that every person should be assigned with the same number of objects...

This paper studies the problem of how to distribute a set of indivisible objects with an amount M of money among a number of agents in a fair way. We allow any number of agents and objects. Objects can be desirable or undesirable and the amount of money can be negative as well. In case M is...

One set of n objects of type I, another set of n objects of type II, and an amount M of money is to be completely allocated among n agents in such a way that each agent gets one object of each type with some amount of money. We propose a new solution concept to this problem called a perfectly...

We survey the recent literature on the role of information for mechanism design. We specifically consider the role of endogeneity of and robustness to private information in mechanism design. We view information acquisition of and robustness to private information as two distinct but related...

The mechanism design literature assumes too much common knowledge of the environment among the players and planner. We relax this assumption by studying implementation on richer type spaces. We ask when ex post implementation is equivalent to interim (or Bayesian) implementation for all possible...

A social choice function is robustly implemented if every equilibrium on every type space achieves outcomes consistent with it. We identify a robust monotonicity condition that is necessary and (with mild extra assumptions) sufficient for robust implementation. Robust monotonicity is strictly...

We consider the implementation of social choice functions under complete information in rationalizable strategies. A strict (and thus stronger) version of the monotonicity condition introduced by Maskin (1999) is necessary under the solution concept of rationalizability. Assuming the social...