Dominant Strategy Implementation in Pure Exchange Economies

In this paper, we consider dominant strategy implementation in classical pure exchange economies with free disposal. We show that quasi-strong-non-bossiness and strategy-proofness together are necessary and sufficient for dominant strategy implementation via the direct revelation mechanism. Moreover, we prove that strategy-proofness is sufficient for dominant strategy implementation, by using an augmented revelation mechanism similar to the one devised by Jackson et al. (1994). This implies that, in classical pure exchange economies, dominant strategy implementability by a certain indirect mechanism is equivalent to truthful implementability in dominant strategy equilibria.