We consider the problem of implementing a social choice correspondence H in Nash equilibrium when the constitution of the society is given by an effectivity function E. It is assumed that the effectivity function of $ H,E^{H}$, is a sub-correspondence of E. We found necessary and efficient...

We analyze the problem of fully implementing a social choice set in ex post equilibrium. Weidentify an ex post monotonicity condition that is necessary and -- in economic environments -- sufficient for full implementation in ex post equilibrium. We also identify an ex post monotonicityno veto...

We use the theory of abstract convexity to study adverse-selection principal-agent problems and two-sided matching problems, departing from much of the literature by not requiring quasilinear utility. We formulate and characterize a basic underlying implementation duality. We show how this...

Although evidence accrues in biology, anthropology and experimental economics that homo sapiens is a cooperative species, the reigning assumption in economic theory is that individuals optimize in an autarkic manner (as in Nash and Walrasian equilibrium). I here postulate a cooperative kind of...

Although evidence accrues in biology, anthropology and experimental economics that homo sapiens is a cooperative species, the reigning assumption in economic theory is that individuals optimize in an autarkic manner (as in Nash and Walrasian equilibrium). I here postulate an interdependent kind...

This note studies (full) implementation of social choice functions under complete information in (correlated) rationalizable strategies. The monotonicity condition shown by Maskin (1999) to be necessary for Nash implementation is also necessary under the more stringent solution concept. We show...

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...