Starting with Mirrlees (1971) and Vickrey (1945), the optimal tax literature has studied the design of a personal income tax. The ideal would be to tax earnings ability. Earnings ability is unobservable for tax purposes, however, and past papers have focused instead on designing a tax on labor...

This article develops a model of unemployment fluctuations. The model keeps the architecture of the general-disequilibrium model of Barro and Grossman (1971) but takes a matching approach to the labor and product markets instead of a disequilibrium approach. On the product and labor markets,...

This paper analyzes optimal unemployment insurance over the business cycle in a search model in which unemployment stems from matching frictions (in booms) and job rationing (in recessions). Job rationing during recessions introduces two novel effects ignored in previous studies of optimal...

We present a static model of aggregate demand and unemployment. The economy has a nonproduced good, a produced good, and labor. Product and labor markets have matching frictions. A general equilibrium is a set of prices, market tightnesses, and quantities such that buyers and sellers optimize...

This paper analyzes optimal unemployment insurance (UI) over the business cycle. We consider a general matching model of the labor market. For a given UI, the economy is efficient if tightness satisfies a generalized Hosios condition, slack if tightness is too low, and tight if tightness is too...