Strategic and structural uncertainty in robust implementation

This paper discusses connections among several robustness concepts of mechanisms in terms of agents' behavior. Specifically, under “rich” interdependent-value environments (including private-value environments as a special case), we show that the implementation of any social choice correspondence in (one-round or iterative) undominated strategies is equivalent to Bayesian implementation with arbitrary type spaces.