Coalition strategy-proofness and monotonicity in Shapley-Scarf housing markets (Q5932333)

The relationships among strategy-proofness (SP), coalition strategy-proofness (CSP), individual rationality (IR), ontoness (ONTO), monotonicity (MON), individual monotonicity (IMON), nonbossiness (NB), and being of a strong core (SC) are examined in the case of single-valued solutions to housing markets with strict preferences. It is proved that the following conditions are mutually equivalent: CSP, MON, SP \& NB, and IMON\& NB. Moreover, SC is equivalent to MON\& IR\& ONTO, and also to SP \& NB \& IR \& ONTO.