Mechanism design for arbitrary type spaces

This note shows how to solve a mechanism design problem and how to obtain revenue equivalence in a multi-agent quasilinear environment, where each agent's type space is a measurable subset of the real line, not necessarily convex nor finite.