Should the generosity of unemployment benefits and the progressivity of income taxes depend on the presence of business cycles? This paper proposes a tractable model where there is a role for social insurance against uninsurable shocks to income and unemployment, as well as inefficient business...

We construct an optimizing-agent model of a closed economy which is simple enough that we can use it to make exact utility calculations. There is a stabilization problem because there are one-period nominal contracts for wages, or prices, or both and shocks that are unknown at the time when...

Should the generosity of unemployment benefits and the progressivity of income taxes depend on the presence of business cycles? This paper proposes a tractable model where there is a role for social insurance against uninsurable shocks to income and unemployment, as well as inefficient business...