We consider general social choice environments with private values and correlated types. Each agent's matrix of conditional probabilities satisfies the full rank condition. We show that for any Bayesian incentive compatible mechanism there exists a dominant strategy incentive compatible...

Most priority-based assignment problems are solved using the deferred acceptance algorithm. Kojima (2010) shows that stability and nonbossiness are incompatible. We show that the deferred acceptance algorithm satisfies a weaker notion of nonbossiness for every substitutable priority structure....

This paper provides two theorems which characterize the domains of valuation functions for which there exist Pareto efficient and truth dominant strategy mechanisms (balanced Groves mechanisms). Theorem 1 characterizes the existence of balanced Groves mechanisms for a general class of valuation...

An efficient, interim individually rational, ex post budget balanced Bayesian mechanism is shown to be payoff equivalent to an ex post individually rational and ex ante budget balanced dominant strategy mechanism. This result simplifies the search for mechanisms that implement efficient...

This paper gives a concrete example of a nondictatorial, coalitionally strategyproof social choice function for countably infinite societies. The function is defined for those profiles such that for each alternative, the coalition that prefers it the most is gdescribable.h The gdescribableh...

In a framework allowing infinitely many individuals, I prove that coalitionally strategyproof social choice functions satisfy gtops only.h That is, they depend only on which alternative each individual prefers the most, not on which alternative she prefers the second most, the third, . . . , or...