This paper establishes the existence and efficiency of equilibrium in a local public goods economy with spatial structures by formalizing Hamilton's [Hamilton, B.W., 1975. Zoning and property taxation in a system of local governments Urban Studies 12, 205-211] elaboration of Tiebout's [Tiebout,...

It is often argued in the US that HOV (high occupancy vehicle) lanes are wasteful and should be converted to HOT (high occupancy vehicles and toll lanes). In this paper, we construct a simple model of commuters using a highway with multiple lanes, in which commuters are heterogeneous in their...