Double auctions in welfare economics

Welfare economics argues that competitive markets lead to efficient allocation of resources. The classical theorems are based on the Walrasian market model which assumes the existence of market clearing prices. The emergence of such prices remains debatable. We replace the Walrasian market model by double auctions and show that the conclusions of welfare economics remain largely the same. Double auctions are not only a more realistic description of real markets but they explain how equilibrium prices and efficient allocations emerge in practice.