Studying the interaction between preference and capacity manipulation in matching markets, we prove that acyclicity is a necessary and sufficient condition that guarantees the stability of a Nash equilibrium and the strategy-proofness of truthful capacity revelation under the hospital-optimal...

In this paper, we present a model of implementation where infea- sible allocations are converted into feasible ones through a process of renego- tiation that is represented by a reversion function. We describe the maximal set of Social Choice Correspondences that can be implemented in Nash Equi-...

Studying the interactions between preference and capacity manipulation in matching markets, we prove that acyclicity is a necessary and sufficient condition that guarantees the stability of a Nash equilibrium and the strategy-proofness of truthful capacity revelation under the hospital-optimal...

In this paper we present a model of implementation based on the idea that agents renegotiate unfeasible allocations. We characterize the maximal set of Social Choice Correspondences that can be implemented in Nash Equilibrium with a class of renegotiation functions that do not reward agents for...