We study dominant strategy implementation especially in economic environments. We first show that in general environments, strategy-proofness and quasi-strong-non-bossiness together are necessary and sufficient for dominant strategy implementation via the associated direct revelation mechanism....

We study dominant strategy implementation especially in economic environments. We first showthat in general environments, strategy-proofness and quasi-strong-non-bossiness together are necessary and sufficient for dominant strategy implementation via the associated direct revelationmechanism. We...

In this paper, we revisit a long-standing question on the structure of strategy-proof and Pareto-efficient social choice functions (SCFs) in classical exchange economies (Hurwicz (1972)). Using techniques developed by Myerson in the context of auction-design, we show that in a specific...

In this paper, virtual implementation is restricted so that only a socially optimal outcome or some fixed outcome (a status quo) can be delivered on the equilibrium path. Under such a restriction, any unanimous and implementable social choice function is almost-dictatorial. That is, there is an...

We study decentralized trade processes in general exchange economies and house allocation problems with and without money. Such processes are subject to persistent random shocks stemming from agents' maximization of random utility. By imposing structure on the utility noise term - logit...

In this paper we provide sufficient conditions for a social choice rule to be implementable in strong Nash equilibrium in the presence of partially honest agents, that is, agents who break ties in favor of a truthful message when they face indifference between outcomes. In this way, we achieve a...

We study a social choice model with partially honest agents, and we show that strategy-proofness is a necessary and sufficient condition to achieve secure implementation. This result provides a behavioral foundation for the rectangularity property; and it offers as a by-product a revelation...

In a two-agent society with partially-honest agents, we extend Dutta and Sen (2009)'s results of Nash implementation to the domain of weak orders. We identify the class of Nash implementable social choice correspondences with a "gap" between necessary and sufficient conditions, both when exactly...