We consider taxation of exchanges among a set of agents where each agent owns one object. Agents may have different valuations for the objects and they need to pay taxes for exchanges. We show that if a rule satisfies individual rationality, strategyproofness, constrained efficiency, weak...

We consider a market with indivisible objects, called houses, and money. On this market, each house is initially owned (or rented) by some agent and each agent demands precisely one house. The problem is to identify the complete set of direct allocation mechanisms that can be used to reallocate...