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, with more higher order uncertainty. We study the "ex post equivalence" question: when is interim...

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, with more higher order uncertainty. We study the "ex post equivalence" question: When is interim...

This paper constructs a type space that contains all types with a finite depth of reasoning, as well as all types with an infinite depth of reasoning - in particular those types for whom finite-depth types are conceivable, or think that finite-depth types are conceivable in the mind of other...

Investigating the strategic advantage of negatively interdependent preferences in action monotonic games, we derive characterizing conditions both for general action monotonic games and for the subclass of action monotonic games with spillovers. Examples demonstrate the generality of our...

Neeman (2004) and Heifetz and Neeman (2006) have shown that, in auctions with incomplete information about payoffs, full surplus extraction is only possible if agents' beliefs about other agents are fully informative about their own payoff parameters. They argue that the set of...

McAfee and Reny (1992) have given a necessary and sufficient condition for full surplus extraction in naive type spaces with a continuum of payoff types. We generalize their characterization to arbitrary abstract type spaces and to the universal type space and show that in each setting, full...

Neeman (2004) and Heifetz and Neeman (2006) have shown that, in auctions with incomplete information about payoffs, full surplus extraction is only possible if agents’ beliefs about other agents are fully informative about their own payoff parameters. They argue that the set of...

McAfee and Reny (1992) have given a necessary and sufficient condition for full surplus extraction in naive type spaces with a continuum of payoff types. We generalize their characterization to arbitrary abstract type spaces and to the universal type space and show that in each setting, full...

We say that a social choice rule is implementable with (small) transfers if one can design a mechanism whose set of equilibrium outcomes coincides with that specified by the rule but the mechanism allows for (small) ex post transfers among the players. We then show in private-value environments...

A number of studies, most notably Cr?mer and McLean (1985, 1988), have shown that in Harsanyi type spaces of a fixed finite size, it is generically possible to design mechanisms that extract all the surplus from players, and as a consequence, implement any outcome as if the players’ private...