Focussing on their analysis of the optimal public goods provision problem, this paper follows the parallel development of equilibrium models and mechanism design after the accommodation of Samuelson's definition of collective goods to the general equilibrium framework. Both paradigms lead to the...

Focussing on their analysis of the optimal public goods provision problem, this paper follows the parallel development of equilibrium models and mechanism design after the accommodation of Samuelson's definition of collective goods to the general equilibrium framework. Both paradigms lead to the...

This paper investigates to what extent the seminal contribution of Samuelson has been or not incorporated by the theories of general equilibrium and mechanism design in their analysis of optimal public good provision, and more generally of optimal public policy. Our conclusion is that, far from...

We study the assignment of discrete resources in a general model encompassing a wide range of applied environments, such as school choice, course allocation, and refugee resettlement. We allow single-unit and general multi-unit demands and any linear constraints. We prove the Second Welfare...

A competitive market mechanism is a prominent example of a nonbinary social choice rule, typically defined for a special class of economic environments in which each social state is an economic allocation of private goods, and individuals’ preferences concern only their own personal...

This paper examines a dynamic general equilibrium model with supply friction. With or without friction, the competitive equilibrium is efficient. Without friction, the market price is completely determined by the marginal production cost. If friction is present, no matter how small, then the...

The paper analyzes a two period general equilibrium model with individual risk, aggregate uncertainty and moral hazard. There is a large number of households, each facing two individual states of nature in the second period. These states differ solely in the household's vector of initial...