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...