Implementability, Walrasian Equilibria, and Efficient Matchings∗

In general screening problems, implementable allocation rules correspond exactly to Walrasian equilibria of an economy in which types are consumers with quasilinear utility and unit demand. Due to the first and second welfare theorems, an allocation rule is implementable if and only if it induces an efficient matching between types and goods