Subgame-perfect implementation of bargaining solutions

We study house allocation problems introduced by L. Shapley and H. Scarf (1974, J. Math. Econ.1, 23–28). We prove that a mechanism (a social choice function) is individually rational, anonymous, strategy-proof, and nonbossy (but not necessarily Pareto efficient) if and only if it is either the core mechanism or the no-trade mechanism, where the no-trade mechanism is the one that selects the initial allocation for each profile of preferences. This result confirms the intuition that even if we are willing to accept inefficiency, there exists no interesting strategy-proof mechanism other than the core mechanism. Journal of Economic Literature Classification Numbers: C71, C78, D71, D78, D89.