The pareto‐stability concept is a natural solution concept for discrete matching markets with indifferences

In a decentralized setting the game‐theoretical predictions are that only strong blockings are allowed to rupture the structure of a matching. This paper argues that, under indifferences, also weak blockings should be considered when these blockings come from the grand coalition. This solution concept requires stability plus Pareto optimality. A characterization of the set of Pareto‐stable matchings for the roommate and the marriage models is provided in terms of individually rational matchings whose blocking pairs, if any, are formed with unmatched agents. These matchings always exist and give an economic intuition on how blocking can be done by non‐trading agents, so that the transactions need not be undone as agents reach the set of stable matchings. Some properties of the Pareto‐stable matchings shared by the Marriage and Roommate models are obtained.