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...

We develop a novel geometric approach to mechanism design using an important result in convex analysis: the duality between a closed convex set and its support function. By deriving the support function for the set of feasible interim values we extend the well known...