Strategy-Proofness, Core, and Sequential Trade

We extend the Shapley-Scarf (1974) model - where a finite number of indivisible objects is to be allocated among a finite number of individuals - to the case where the primary endowment set of an individual may contain none, one, or several objects and where property rights may be transferred (objects inherited) as the allocation process unfolds, under the retained assumption that an individual consumes at most one object. In this environment we analyze the core of the economy and characterize the set of strategy-proof and Pareto efficient mechanisms. From a dual perspective, we consider property rights implicitly defined by a strategy-proof and Pareto efficient mechanism and show a core property for the mechanism-induced endowment rule.