A mechanism implements a social choice correspondence f in mixed Nash equilibrium if, at any preference profile, the set of all (pure and mixed) Nash equilibrium outcomes coincides with the set of f-optimal alternatives for all cardinal representations of the preference profile. Unlike Maskinʼs...

We study the gains from trade in a model with endogenously variable markups. We show that the pro-competitive gains from trade are large if the economy is characterized by (i) extensive misallocation, i.e., large ineciencies associated with markups, and (ii) a weak pattern of cross-country...

We study the repeated implementation of social choice functions in environments with complete information and changing preferences. We define dynamic monotonicity, a natural but nontrivial dynamic extension of Maskin monotonicity, and show that it is necessary and almost sufficient for repeated...

A mechanism implements a social choice correspondence f in mixed Nash equilibrium if at any preference profile, the set of all pure and mixed Nash equilibrium outcomes coincides with the set of f-optimal alternatives at that preference profile. This definition generalizes Maskin’s definition...

We study the repeated implementation of social choice functions in environments with complete information and changing preferences. We de?ne dynamic mono- tonicity, a natural but nontrivial dynamic extension of Maskin monotonicity, and show that it is necessary and almost suf?cient for repeated...

A mechanism implements a social choice correspondence f in mixed Nash equilibrium if at any preference profile, the set of all pure and mixed Nash equilibriumoutcomes coincides with the set of f-optimal alternatives at that preference profile. This definition generalizes Maskin’s definition of...

A mechanism implements a social choice correspondence f in mixed Nash equilibrium if at any preference profile, the set of all pure and mixed Nash equilibrium outcomes coincides with the set of f-optimal alternatives at that preference profile. This definition generalizes Maskin's definition of...