Many scarce public resources are allocated at below-market-clearing prices, and sometimes for free. Such "non-market" mechanisms necessarily sacrifice some surplus, yet they can potentially improve equity. In this paper, we develop a model of mechanism design with redistributive concerns. Agents...

We give a direct proof of one-sided strategy-proofness for worker-firm matching under continuously transferable utility. A new “Lone Wolf” theorem (Jagadeesan et al. (2017)) for settings with transferable utility allows us to adapt the method of proving one-sided strategy-proofness that is...